Проверка на състоянието на поръчката
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

4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers

Език Английски езикАнглийски език
Книга С меки корици
Книга Hardware and Software: Verification and Testing Hana Chockler
Код Либристо: 01649749
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, април 2009
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International H... Цялото описание
? points 132 b
54.42 €
106.43  лв
Външен склад Изпращаме след 5-8 дни

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

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

Hilflos Dick Francis / Книга С меки корици
common.buy 11.48 € 22.45 лв
Boxer and Brandon (Bengali Book for Kids) Inna Nusinsky / Книга С меки корици
common.buy 16.55 € 32.37 лв
Ein Schritt weiter Benjamin Kunkel / Книга С меки корици
common.buy 20.89 € 40.87 лв
BERENGUELA DE NAVARRA.REINA DE INGLATERRA TRINDADE / Книга С меки корици
common.buy 30.57 € 59.79 лв
gegenwartige Stand der Gedachtnisforschung Gerrit Witt / Книга С меки корици
common.buy 17.12 € 33.48 лв
Religionsunterricht ist in den oeffentlichen Schulen mit Ausnahme der bekenntnisfreien Schulen ordentliches Lehrfach Johannes Richter / Книга С меки корици
common.buy 26.53 € 51.89 лв
Phytosanierung von metallkontaminierten Böden mit Hilfe ausgewählter einheimischer Pflanzen SUBHA SHINI / Книга С меки корици
common.buy 72.52 € 141.84 лв
Cesarisme Et Christianisme (de l'An 45 Avant J.-C. A l'An 476 Apres) (2e Edition) Proudhon-P-J / Книга С меки корици
common.buy 25.19 € 49.26 лв
Pierre Bayle Ludwig Feuerbach / Книга С меки корици
common.buy 28.34 € 55.44 лв
Was Ist Und Wozu Soziooekonomie? Reinhold Hedtke / Книга С меки корици
common.buy 59.80 € 116.95 лв
Bilanz des Europaischen Systems der Zentralbanken (ESZB). Eine desaggregierte Betrachtung Carl-Jonathan Bertheau / Книга С меки корици
common.buy 18.10 € 35.40 лв
MARRUECOS 2017 Lee / Книга С меки корици
common.buy 34.03 € 66.57 лв
Mindfulness : guía práctica : para encontrar la paz en un mundo frenético Danny Penman / Книга С меки корици
common.buy 24.57 € 48.05 лв
La deuda Rafael Gumucio Araya / Книга С меки корици
common.buy 22.55 € 44.10 лв
Invasió subtil i altres contes Pere Calders / Книга С меки корици
common.buy 14.95 € 29.23 лв
10 Consejos Para Mejorar La Relacion Con Tus Hijos Alma Ramirez / Книга С меки корици
common.buy 6.93 € 13.55 лв
Observations Sur Le Dernier Budget, Adressees Par Un Pair Aux Deux Chambres, A l'Ouverture Mole-L-M / Книга С меки корици
common.buy 13.70 € 26.80 лв

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Haifa Verification Conference, HVC 2008, held in Haifa, Israel in October 2008.§The 12 revised full papers and 4 tool papers presented together with 6 invited lectures were carefully reviewed and selected from 49 initial submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing). Within each paradigm, different algorithms and techniques are used for hardware and software systems with a special focus on hybrid methods.

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

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

Пълно заглавие Hardware and Software: Verification and Testing
Автор Hana Chockler, Alan J. Hu
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2009
Брой страници 215
Баркод 9783642017018
ISBN 3642017010
Код Либристо 01649749
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 355
Размери 155 x 235 x 13

Категории

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 > Computer architecture & logic design
Computing & Information Technology > Information technology: general issues
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Handover in DVB-H Xiaodong Yang / Книга С меки корици
common.buy 116.96 € 228.76 лв
Masquerades; Or, What You Will. by the Author of Eliza Warwick, &c. in Four Volumes. ... of 4; Volume 1 AUTHOR OF ELIZA WARW / Книга С твърди корици
common.buy 32.59 € 63.73 лв
Top
Naruto: Itachi's Story, Vol. 1 Takashi Yano / Книга С меки корици
common.buy 9.31 € 18.20 лв
The Confusion Or The Wag August Friedrich F. Von Kotzebue / Книга С твърди корици
common.buy 36.16 € 70.71 лв
Cat-Dependent No More! Jeffrey Reid / Книга С меки корици
common.buy 13.19 € 25.79 лв
Jazzy Opera Classix: For Tenor Saxophone Hal Leonard Publishing Corporation / Книга С твърди корици
common.buy 21.31 € 41.68 лв
Unmanned Aerial Vehicle (UAV) Muhammed Ehtisham Yahya Farooqi / Книга С меки корици
common.buy 51.83 € 101.37 лв
Globalization, Difference, and Human Security Mustapha Kamal Pasha / Книга С меки корици
common.buy 75.21 € 147.10 лв
Mommy, Are YOU Listening? ? ? Patrice Lee / Книга С меки корици
common.buy 10.60 € 20.73 лв
Syllabus of Lectures on Remedies. John Norton Pomeroy / Книга С меки корици
common.buy 11.95 € 23.36 лв
The Spirit World: Spirit Walking Dean Moriarty / Книга С меки корици
common.buy 9.36 € 18.30 лв
Big Lessons for Little Christians Mila Anderson / Книга С меки корици
common.buy 13.91 € 27.21 лв
Подготвяме
Wit and Wisdom of Dad Emotional Rescue / Книга С твърди корици
common.buy 8.17 € 15.98 лв
Surviving The Storm Mrs Jessica Amos / Книга С меки корици
common.buy 6.72 € 13.14 лв
Crrn Exam Secrets Study Guide: Crrn Test Review for the Certified Rehabilitation Registered Nurse Exam Mometrix Media / Книга С меки корици
common.buy 83.54 € 163.39 лв
Global Business in Local Culture Philipp Aerni / Книга С меки корици
common.buy 59.85 € 117.05 лв
Destiny Elizabeth Haydon / Книга С меки корици
common.buy 18.72 € 36.62 лв
Carving Creative Walking Sticks and Canes Paul Purnell / Книга С меки корици
common.buy 19.60 € 38.34 лв
Handbook to the ethnographical Collections British Museum / Книга С меки корици
common.buy 21.52 € 42.08 лв
A Catalogue Of Paintings In The Collection Of Mr. And Mrs. Charles P. Taft, At Cincinnati, Ohio (1920) Maurice Walter Brockwell / Книга С меки корици
common.buy 25.19 € 49.26 лв
Emblems for the Young from Scripture, Nature and Art (1833) Cornelius Neale / Книга С меки корици
common.buy 22.19 € 43.40 лв
Sheltering Mercy Dan Wilt / Книга С твърди корици
common.buy 19.39 € 37.93 лв
Picture You Dead Wayne Brookes / Книга С меки корици
common.buy 20.27 € 39.65 лв
Mystery Weekly Magazine: May 2020 Kerry Carter / Книга С меки корици
common.buy 7.65 € 14.96 лв

Вход

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

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

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

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

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