[email protected]
LIBRISTO 0
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв Speedy 13.00 лв ЕКОНТ 6.00 лв Еконтомат/Офис на Еконт 6.00 лв Box Now 6.00 лв
phone Контакт phoneКак се пазарува?

Hardware and Software: Verification and Testing

Език Английски езикАнглийски език
Книга С меки корици
Книга Hardware and Software: Verification and Testing Nir Piterman
Код Либристо: 09925334
Издателство Springer International Publishing AG, октомври 2015
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conferen... Цялото описание
? points 164 b
128.20 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

TOP
Hacker's Delight Henry Warren / С твърди корици
common.buy 117.51 лв
TOP
The 100 Kass Morgan / С меки корици
common.buy 24.81 лв
TOP
Mine Till Midnight Lisa Kleypas / С меки корици
common.buy 19.86 лв
TOP
Chaos Dan Piepenbring / С меки корици
common.buy 24.00 лв
TOP
Peak Performance Table Tennis / С меки корици
common.buy 38.62 лв
TOP
Dead Mount Death Play, Vol. 5 Ryohgo Narita / С меки корици
common.buy 23.90 лв
TOP
In Search of Lost Time: Volume 2 Marcel Proust / С меки корици
common.buy 22.99 лв
TOP
Hands Down / С меки корици
common.buy 42.86 лв
TOP
Wheat Belly (Revised and Expanded Edition) William Davis / С меки корици
common.buy 32.27 лв
TOP
Oxford First Dictionary Oxford Dictionaries / С твърди корици
common.buy 26.02 лв
Fairy and Fantasy Grayscale Coloring Book Christine Karron / С меки корици
common.buy 32.77 лв
Statistics for the Trading Floor: Data Science for Investing Patrick Boyle / С меки корици
common.buy 58.90 лв
Hidden Treasures in the Book of Job - How the Oldest Book in the Bible Answers Today`s Scientific Questions Hugh Ross / С меки корици
common.buy 31.77 лв
Our Not-So-Lonely Planet Travel Guide, Volume 1 Mone Sorai / С меки корици
common.buy 23.90 лв
Girl and the Goddess Nikita Gill / С твърди корици
common.buy 29.65 лв
ПОДГОТВЯМЕ
Little Children's Pirate Activity Book Rebecca Gilpin / С меки корици
common.buy 16.33 лв

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; veri cation of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain veri cation; synthesis.

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

Пълно заглавие Hardware and Software: Verification and Testing
Автор Nir Piterman
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2015
Брой страници 293
Баркод 9783319262864
ISBN 3319262866
Код Либристо 09925334
Издателство Springer International Publishing AG
Тегло 4745
Размери 155 x 235 x 15

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer hardware > Network hardware
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