[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
25 Years of Model Checking
Език
Английски език
Английски език
Книга
С меки корици
This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, feature...
Цялото описание
Код Либристо: 01567994
?
115 b
115 b
89.67
лв
Външен склад в ограничено количество
Изпращаме след 13-16 дни
30 дни за връщане на стоката
Може би ще Ви заинтересува
/
С твърди корици
173.49
лв
/
С меки корици
63.54
лв
This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, features papers based on talks at the symposium "25 Years of Model Checking", 25MC, which was part of the 18th International Conference on Computer Aided Verification.
Информация за книгата
Пълно заглавие
25 Years of Model Checking
Автор
Orna Grumberg, Helmut Veith
Език
Английски език
Английски език
Корици
Книга - С меки корици
Дата на издаване
2008
Брой страници
234
Баркод
9783540698494
ISBN
3540698493
Код Либристо
01567994
Тегло
370
Размери
156 x 235 x 15
Категории
Computing & Information Technology
>
Computer programming / software engineering
>
Algorithms & data structures
Computing & Information Technology
>
Computer programming / software engineering
>
Compilers & interpreters
Computing & Information Technology
>
Computer programming / software engineering
>
Programming & scripting languages: general
