Головна
Автори
Автори
Л. Петруччі – книги і біографія
Л. Петруччі – книги і біографія
1 товар
Springer
Очистити все
1 товар
Паперова книга «Systems and Software Verification: Model-Checking Techniques and Tools», авторів А. Фінкель, А. Петіт, B. Берард, Ф. Ларуссіні, Л. Петруччі, М. Бідо, П. Шнобелен – фото №1
0
0
Systems and Software Verification: Model-Checking Techniques and Tools
А. Фінкель А. Фінкель, А. Петіт, B. Берард, Ф. Ларуссіні, Л. Петруччі, М. Бідо, П. Шнобелен
Немає в наявності