Дэниел Крёнинг — книги и биография
Дэниел Крёнинг — книги и биография
2 товара
Твердый
Очистить все
2 товара
Бумажная книга «Decision Procedures: An Algorithmic Point of View», авторов Дэниел Крёнинг, Офер Стрихман – фото №1
0
0
Decision Procedures: An Algorithmic Point of View
Дэниел Крёнинг Дэниел Крёнинг, Офер Стрихман
Нет в наличии
Бумажная книга «Model Checking», авторов Дэниел Крёнинг, Дорон Пелед, Эдмунд М. Кларк мл., Хельмут Вейт, Орна Грумберг – фото №1
0
0
Model Checking
Дэниел Крёнинг Дэниел Крёнинг, Дорон Пелед, Эдмунд М. Кларк мл., Хельмут Вейт, Орна Грумберг
Нет в наличии