info@libristo.bg
LIBRISTO 0
Безплатна доставка със Speedy над 129 лв
Box Now 9 лв Speedy office 11 лв Speedy 13 лв ЕКОНТ 6 лв Еконтомат/Офис на Еконт 6 лв
phone Контакт phoneКак се пазарува?

Hardware and Software: Verification and Testing

Език Английски езикАнглийски език
Книга С меки корици
Книга Hardware and Software: Verification and Testing Armin Biere
Код Либристо: 01664050
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юни 2013
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verificatio... Цялото описание
? points 164 b
130 лв
Външен склад в ограничено количество Изпращаме след 12-17 дни

30 дни за връщане на стоката

Може би ще Ви заинтересува

TOP
Accessing the Healing Power of the Vagus Nerve Stanley Rosenberg / С меки корици
common.buy 50 лв
TOP
Attack on Titan Omnibus 2 (Vol. 4-6) Hajime Isayama / С меки корици
common.buy 42 лв
TOP
The 5 Am Club: Own Your Morning. Elevate Your Life. Robin Sharma / С твърди корици
common.buy 46 лв
TOP
Children of Jocasta Natalie Haynes / С меки корици
common.buy 27 лв
Basic Economics Thomas Sowell / С твърди корици
common.buy 84 лв
Joseph Dirand Francois Halard / С твърди корици
common.buy 144 лв
Green Lantern by Geoff Johns Omnibus Vol. 1 Geoff Johns / С твърди корици
common.buy 234 лв
Expert C Programming Peter van der Linden / С меки корици
common.buy 112 лв
Oxford Primary Illustrated Maths Dictionary / С меки корици
common.buy 26 лв
Aristotle and Dante Collection (Boxed Set) / С твърди корици
common.buy 84 лв
Widow Queen Elzbieta Cherezinska / С твърди корици
common.buy 50 лв
Rocket Science Alan McFadzean / С меки корици
common.buy 83 лв
Donbas Conflict in Ukraine Daria Platonova / С твърди корици
common.buy 463 лв
In the Heights LIN-MANUEL MIRANDA / С твърди корици
common.buy 77 лв
Cognitive Linguistics EVANS VYVYAN / С твърди корици
common.buy 367 лв
Three Keys KELLY YANG / С меки корици
common.buy 21 лв

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.

Информация за книгата

Пълно заглавие Hardware and Software: Verification and Testing
Автор Armin Biere, Amir Nahir, Tanja Vos
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2013
Брой страници 281
Баркод 9783642396106
ISBN 3642396100
Код Либристо 01664050
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 456
Размери 155 x 235 x 19

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo