Ф. Ларуссини — книги и биография
Ф. Ларуссини — книги и биография
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. Берард, Ф. Ларуссини, Л. Петруччи, М. Бидо, П. Шнобелен
Нет в наличии