Проверка на състоянието на поръчката
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Как се пазарува?
Над 10 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Hardware and Software: Verification and Testing

8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

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

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

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

Frauen- und Kinderarbeit in der Zeit der Industrialisierung Viktoria Lehner / Книга С меки корици
common.buy 15.17 € 29.66 лв
101 vecí na hľadanie a nalepovanie Rozprávkové bytosti / Книга С меки корици
common.buy 4.62 € 9.04 лв
Heilige Maria, Mutter Gottes / Книга Лист
common.buy 5.24 € 10.25 лв
LE DEFI DES DRUIDES BRISOU-PELLEN / Книга С меки корици
common.buy 13.42 € 26.24 лв
Die Umsetzung des NCV-Programms am Tshwane North FET College Kaizer Raseane Makole / Книга С меки корици
common.buy 51.52 € 100.77 лв
Schody do nebe Lorna Byrneová / Книга С твърди корици
common.buy 10.33 € 20.21 лв
Tumeurs malignes rares Jean-Pierre Droz / Книга С твърди корици
common.buy 174.53 € 341.35 лв
Philologus / Книга С твърди корици
common.buy 112.25 € 219.54 лв
Gra Szacho-warcaby 31 / Книга binding.
common.buy 34.04 € 66.57 лв
Marmorpalais im Neuen Garten der Stiftung Preußischer Schlösser und Gärten Berlin-Brandenburg / Книга С меки корици
common.buy 6.99 € 13.67 лв
??????????? ???? ?????? ????????? ????? ?????????? Neil King / E-книга Adobe ePub DRM
common.buy 8.43 € 16.49 лв
Harry Potter: Vánoce v Bradavicích Joanne K. Rowling / Книга С твърди корици
common.buy 17.17 € 33.58 лв
Praxeologie der Moderne Gunnar Skirbekk / Книга С меки корици
common.buy 47.36 € 92.62 лв
Problem der demokratischen Legitimation in foederalen Systemen Julia Schoeppenthau / Книга С меки корици
common.buy 17.02 € 33.29 лв
20TH CENTURY ITALIAN COMPOSERS PIANO ALFONSO ALBERTI Книга binding.
common.buy 28.12 € 55.01 лв
Puissances de l'imagination : Malebranche, De l'imagination, Cervantès, Don Quichotte, Proust, Un amour de Swann Anglard / Книга С меки корици
common.buy 23.19 € 45.35 лв
CHAGALL, MODIGLIANI, SOUTINE... PARIS POUR ECOLE, 1905-1940 Книга Книга
common.buy 31.00 € 60.64 лв
L'année de la grande section 5-6ans - Tout pour réussir en maternelle Ginette Grandcoin-Joly / Книга С меки корици
common.buy 10.54 € 20.61 лв
MI PRIMER IMAGINARIO DE DINOSAURIOS LAURE DU FAY / Книга С меки корици
common.buy 6.53 € 12.76 лв
MÁS ALLÁ DEL LÍMITE SIMONE ELKELES / Книга С меки корици
common.buy 8.53 € 16.69 лв
Politische Justiz 1918-1933 Heinrich Hannover / Книга С меки корици
common.buy 19.69 € 38.51 лв
Dalmatien - 1.000 Teile (Puzzle) / Игра/играчка Игра
common.buy 32.86 € 64.26 лв
Odisea / The Odyssey HOMERO / Книга С меки корици
common.buy 10.79 € 21.11 лв
Geschichte der jungen Renate Fuchs Jakob Wassermann / Книга С меки корици
common.buy 9.41 € 18.40 лв

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.

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

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

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

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

Numerical Treatment of Multiphase Flows in Porous Media Zhangxin Chen / Книга С твърди корици
common.buy 115.08 € 225.08 лв
Children of Jocasta Natalie Haynes / Книга С меки корици
common.buy 11.51 € 22.52 лв
Understanding Marketing & Technology Without Losing Your Mind: A Practical Guide for Managers and Leaders Dave Tedlock / Книга С меки корици
common.buy 12.03 € 23.53 лв
Rethinking Genesis 1-11 Gordon J. Wenham / Книга С твърди корици
common.buy 25.91 € 50.68 лв
Oxford Primary Illustrated Maths Dictionary / Книга С меки корици
common.buy 11.41 € 22.32 лв
The 5 Am Club: Own Your Morning. Elevate Your Life. Robin Sharma / Книга С твърди корици
common.buy 21.39 € 41.83 лв
Defects in HIgh-k Gate Dielectric Stacks Evgeni Gusev / Книга С твърди корици
common.buy 215.57 € 421.61 лв
Rocket Science Alan McFadzean / Книга С меки корици
common.buy 38.20 € 74.72 лв
Draw and Color Your Dragon JOHN SMITH / Книга С меки корици
common.buy 19.43 € 38.01 лв
In the Heights LIN-MANUEL MIRANDA / Книга С твърди корици
common.buy 33.32 € 65.16 лв
Color Blue of the Hermit's Robe Patsy Stanley / Книга С твърди корици
common.buy 15.47 € 30.26 лв
Smart Education and e-Learning 2019 Vladimir L. Uskov / Книга С твърди корици
common.buy 215.57 € 421.61 лв
Aristotle and Dante Collection (Boxed Set) Benjamin Alire Sáenz / Книга С твърди корици
common.buy 34.50 € 67.48 лв
Top
Attack on Titan Omnibus 2 (Vol. 4-6) Hajime Isayama / Книга С меки корици
common.buy 15.83 € 30.97 лв
Donbas Conflict in Ukraine Daria Platonova / Книга С твърди корици
common.buy 243.03 € 475.32 лв
Life's Edge Carl Zimmer / Книга С меки корици
common.buy 14.24 € 27.85 лв
This Is Me (from the Greatest Showman) Justin Paul / Книга С меки корици
common.buy 6.48 € 12.67 лв
Of Ancients Unbound T.C. Edge / Книга С меки корици
common.buy 25.55 € 49.98 лв
World Literature Klaudia Hiu Yen Lee / Книга С твърди корици
common.buy 243.03 € 475.32 лв
Dark Waters Jason Wright / E-книга Adobe ePub DRM
common.buy 3.44 € 6.73 лв
Hypertension and Stroke Venkatesh Aiyagari / Книга С меки корици
common.buy 211.20 € 413.06 лв
Dionysius of Halicarnasssus W. Rhys Roberts / Книга С меки корици
common.buy 47.87 € 93.63 лв
Beginning Human Rights Law Howard Davis / Книга С меки корици
common.buy 68.75 € 134.46 лв
K-Theory and C*-Algebras: A Friendly Approach Niels Erik Wegge-Olsen / Книга С твърди корици
common.buy 222.82 € 435.79 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?