info@libristo.bg
Ще ви отговорим до 24 часа
Безплатна доставка със Speedy над 129 лв
Box Now 9 лв
Speedy office 11 лв
Speedy 13 лв
ЕКОНТ 6 лв
Еконтомат/Офис на Еконт 6 лв
Контакт
Как се пазарува?
Помощ
Доставка
Box Now 9 лв
Speedy office 11 лв
Speedy 13 лв
ЕКОНТ 6 лв
Еконтомат/Офис на Еконт 6 лв
Безплатна доставка със Speedy над 129 лв
Наръчник за пазаруване
Тук сме за Вас!
info@libristo.bg
Моят акаунт
Станете част от общност от любители на книгите от цял свят и получавате много предимства.
Създай на безплатен акаунт
▸
Празна :-(
0
Computer Aided Verification
Език
Английски език
Английски език
Книга
С меки корици
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th Internat...
Цялото описание
Код Либристо: 12580327
?
179 b
179 b
143
лв
Външен склад в ограничено количество
Изпращаме след 10-15 дни
30 дни за връщане на стоката
Може би ще Ви заинтересува
/
С меки корици
161
лв
/
С меки корици
62
лв
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.??The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games.?
Информация за книгата
Пълно заглавие
Computer Aided Verification
Автор
Swarat Chaudhuri, Azadeh Farzan
Език
Английски език
Английски език
Корици
Книга - С меки корици
Дата на издаване
2016
Брой страници
521
Баркод
9783319415390
ISBN
3319415395
Код Либристо
12580327
Издателство
Springer International Publishing AG
Тегло
8073
Размери
155 x 235 x 32
