Головна
Автори
Автори
Даніель Кренінг – книги і біографія
Даніель Кренінг – книги і біографія
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
Даніель Кренінг Даніель Кренінг, Дорон Пелед, Едмунд М. Кларк молодший, Гельмут Вайт, Орна Грумберг
Немає в наявності