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