Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Hardware and Software: Verification and Testing

11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга 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 127 b
52.23 €
102.16  лв
Външен склад Изпращаме след 5-8 дни

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

Клиентите са закупили също

Psychologia Kluczowe koncepcje Tom 1 Podstawy psychologii Zimbardo Philip / Книга С меки корици
common.buy 20.15 € 39.40 лв
Sticker-Anziehpuppen Ballerina Eva Schindler / Книга С меки корици
common.buy 8.21 € 16.06 лв
Skopje / Книга С меки корици
common.buy 12.45 € 24.34 лв
Slor Eivor / Аудио Аудио компактдиск
common.buy 19.84 € 38.79 лв
Porsche Speedster, m. 1 DVD Philipp Novak / Книга С твърди корици
common.buy 17.92 € 35.06 лв
40 Baby Meilenstein-Karten für das 1. Lebensjahr für Mädchen und Junge. Baby Milestone Cards deutsch, zur Erinnerung der Entwicklung der ersten Monate Sophie Heisenberg / Книга С меки корици
common.buy 9.45 € 18.48 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

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

Пълно заглавие 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 Книгата ще пристигне на адреса на получателя

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

Top
Hidden Treasures in the Book of Job - How the Oldest Book in the Bible Answers Today`s Scientific Questions Hugh Ross / Книга С меки корици
common.buy 15.75 € 30.81 лв
Student's Guide to the Schroedinger Equation Daniel A. Fleisch / Книга С меки корици
common.buy 31.10 € 60.82 лв
Top
Mine Till Midnight Lisa Kleypas / Книга С меки корици
common.buy 8.88 € 17.37 лв
The Gift Richard Paul Evans / Аудио Аудио компактдиск
common.buy 16.01 € 31.32 лв
Designing Bots: Creating Conversational Experiences Amir Shevat / Книга С меки корици
common.buy 26.81 € 52.44 лв
Top
Hacker's Delight Henry Warren / Книга С твърди корици
common.buy 55.28 € 108.12 лв
Oxford First Dictionary Oxford Dictionaries / Книга С твърди корици
common.buy 19.78 € 38.69 лв
Florentine and the Treasures of the Snow Herb Stine / Книга С меки корици
common.buy 10.59 € 20.71 лв
Little Children's Pirate Activity Book Rebecca Gilpin / Книга С меки корици
common.buy 12.45 € 24.34 лв
Wheat Belly (Revised and Expanded Edition) William Davis / Книга С меки корици
common.buy 15.75 € 30.81 лв
Chaos Dan Piepenbring / Книга С меки корици
common.buy 11.21 € 21.92 лв
Top
Monster in His Eyes J M Darhower / Книга С меки корици
common.buy 13.07 € 25.56 лв
Otaku Food! Danielle Baghernejad / Книга С меки корици
common.buy 23.87 € 46.68 лв
Top
Girl and the Goddess Nikita Gill / Книга С твърди корици
common.buy 14.82 € 28.99 лв
Top
Hands Down Mariana Zapata / Книга С меки корици
common.buy 19.27 € 37.68 лв
Dead Mount Death Play, Vol. 5 Ryohgo Narita / Книга С меки корици
common.buy 10.64 € 20.81 лв
Top
Our Not-So-Lonely Planet Travel Guide, Volume 1 Mone Sorai / Книга С меки корици
common.buy 11.83 € 23.13 лв
Principios Cooperativistas Na Percepcao DOS Associados JACIARA XAV RIBEIRO / Книга С меки корици
common.buy 72.43 € 141.67 лв
Top
Peak Performance Table Tennis Kevin Finn / Книга С меки корици
common.buy 17.20 € 33.64 лв
Refractory Materials Faraday Society / Книга С меки корици
common.buy 21.23 € 41.52 лв
Statistics for the Trading Floor: Data Science for Investing Patrick Boyle / Книга С меки корици
common.buy 26.50 € 51.83 лв
Fairy and Fantasy Grayscale Coloring Book Christine Karron / Книга С меки корици
common.buy 14.77 € 28.89 лв
Top
The 100 Kass Morgan / Книга С меки корици
common.buy 11.21 € 21.92 лв
Top
In Search of Lost Time: Volume 2 Marcel Proust / Книга С меки корици
common.buy 12.40 € 24.24 лв

Вход

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

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

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

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

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