[email protected]
Ще ви отговорим до 24 часа
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв
Speedy 13.00 лв
ЕКОНТ 6.00 лв
Еконтомат/Офис на Еконт 6.00 лв
Box Now 6.00 лв
Контакт
Как се пазарува?
Помощ
Доставка
Speedy office 11.00 лв
Speedy 13.00 лв
ЕКОНТ 6.00 лв
Еконтомат/Офис на Еконт 6.00 лв
Box Now 6.00 лв
Безплатна доставка със Еконт над 129 лв
Наръчник за пазаруване
Тук сме за Вас!
[email protected]
Моят акаунт
Станете част от общност от любители на книгите от цял свят и получавате много предимства.
Създай на безплатен акаунт
▸
Празна :-(
0
Model Checking
Език
Английски език
Английски език
Книга
С твърди корици
An expanded and updated edition of a comprehensive presentation of the theory and practice of model...
Код Либристо: 19285025
?
236 b
236 b
184.43
лв
Външен склад
Изпращаме след 3-5 дни
30 дни за връщане на стоката
Може би ще Ви заинтересува
/
С меки корици
28.75
лв
An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.
Информация за книгата
Пълно заглавие
Model Checking
Автор
Clarke, Edmund M., Jr. (Carnegie Mellon University), Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled,
Език
Английски език
Английски език
Корици
Книга - С твърди корици
Дата на издаване
2018
Брой страници
424
Баркод
9780262038836
ISBN
9780262038836
Код Либристо
19285025
Издателство
MIT Press Ltd
Тегло
820
Размери
187 x 236 x 25
Категории
