Книга Model Checking

Даніель Кренінг, Дорон Пелед, Едмунд М. Кларк молодший, Гельмут Вайт, Орна Грумберг

Код товару: 20147264

Паперова книга «Model Checking», авторів Даніель Кренінг, Дорон Пелед, Едмунд М. Кларк молодший, Гельмут Вайт, Орна Грумберг - фото №1

Книга Model Checking

Даніель Кренінг, Дорон Пелед, Едмунд М. Кларк молодший, Гельмут Вайт, Орна Грумберг

Код товару: 20147264

Формат

Мова книги

Видавництво

Рік видання

Категорія

Основи інформатики Майбутнє комп'ютерів Комп’ютерна наука / інформатика

Характеристики

Автор

Даніель Кренінг, Дорон Пелед, Едмунд М. Кларк молодший, Гельмут Вайт, Орна Грумберг

Видавництво

Кількість сторінок

424

Відгуки

Виникли запитання? 0-800-335-425

Зв'язатися