Як парость виноградної лози, плекайте мову 👉 UA

Книга Model Checking

Дэниел Крёнинг, Дорон Пелед, Эдмунд М. Кларк мл., Хельмут Вейт, Орна Грумберг

Код товара: 20147264

Бумажная книга «Model Checking», авторов Дэниел Крёнинг, Дорон Пелед, Эдмунд М. Кларк мл., Хельмут Вейт, Орна Грумберг - фото №1

Книга Model Checking

Дэниел Крёнинг, Дорон Пелед, Эдмунд М. Кларк мл., Хельмут Вейт, Орна Грумберг

Код товара: 20147264

Формат

Язык книги

Издательство

Год издания

Категория

Основы информатики Будущее компьютеров Компьютерная наука / информатика

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

Автор

Дэниел Крёнинг, Дорон Пелед, Эдмунд М. Кларк мл., Хельмут Вейт, Орна Грумберг

Издательство

Количество страниц

424

Отзывы

Возникли вопросы? 0-800-335-425

Cвязаться