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

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
50.05 €
97.89  лв
Външен склад Изпращаме след 5-8 дни

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

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

Harry Potter: Vánoce v Bradavicích Joanne K. Rowling / Книга С твърди корици
common.buy 17.25 € 33.73 лв
101 vecí na hľadanie a nalepovanie Rozprávkové bytosti / Книга С меки корици
common.buy 4.18 € 8.17 лв
Heilige Maria, Mutter Gottes / Книга Лист
common.buy 4.28 € 8.38 лв
Die Umsetzung des NCV-Programms am Tshwane North FET College Kaizer Raseane Makole / Книга С меки корици
common.buy 51.76 € 101.23 лв
Schody do nebe Lorna Byrneová / Книга С твърди корици
common.buy 10.38 € 20.30 лв
Philologus / Книга С твърди корици
common.buy 112.76 € 220.54 лв
Gra Szacho-warcaby 31 / Книга binding.
common.buy 37.65 € 73.64 лв
??????????? ???? ?????? ????????? ????? ?????????? Neil King / E-книга Adobe ePub DRM
common.buy 8.31 € 16.26 лв
Praxeologie der Moderne Gunnar Skirbekk / Книга С меки корици
common.buy 47.83 € 93.55 лв
Tintin c'est l'aventure n°24 - Belgique - Offre Jumelée / Книга С меки корици
common.buy 31.14 € 60.91 лв
Marmorpalais im Neuen Garten der Stiftung Preußischer Schlösser und Gärten Berlin-Brandenburg / Книга С меки корици
common.buy 7.28 € 14.24 лв
Tumeurs malignes rares Jean-Pierre Droz / Книга С твърди корици
common.buy 175.58 € 343.40 лв
Geschichte der jungen Renate Fuchs Jakob Wassermann / Книга С меки корици
common.buy 9.45 € 18.48 лв
Frauen- und Kinderarbeit in der Zeit der Industrialisierung Viktoria Lehner / Книга С меки корици
common.buy 15.23 € 29.79 лв
MÁS ALLÁ DEL LÍMITE SIMONE ELKELES / Книга С меки корици
common.buy 8.78 € 17.17 лв
Problem der demokratischen Legitimation in foederalen Systemen Julia Schoeppenthau / Книга С меки корици
common.buy 17.09 € 33.43 лв
Odisea / The Odyssey HOMERO / Книга С меки корици
common.buy 11.82 € 23.13 лв
20TH CENTURY ITALIAN COMPOSERS PIANO ALFONSO ALBERTI Книга binding.
common.buy 29.49 € 57.68 лв
Puissances de l'imagination : Malebranche, De l'imagination, Cervantès, Don Quichotte, Proust, Un amour de Swann Anglard / Книга С меки корици
common.buy 24.53 € 47.98 лв
CHAGALL, MODIGLIANI, SOUTINE... PARIS POUR ECOLE, 1905-1940 Книга Книга
common.buy 32.33 € 63.24 лв
LE DEFI DES DRUIDES BRISOU-PELLEN / Книга С меки корици
common.buy 13.68 € 26.76 лв
L'année de la grande section 5-6ans - Tout pour réussir en maternelle Ginette Grandcoin-Joly / Книга С меки корици
common.buy 11.82 € 23.13 лв
Dalmatien - 1.000 Teile (Puzzle) / Игра/играчка Игра
common.buy 33.26 € 65.06 лв
MI PRIMER IMAGINARIO DE DINOSAURIOS LAURE DU FAY / Книга С меки корици
common.buy 17.61 € 34.44 лв

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 119.48 € 233.68 лв
Top
Aristotle and Dante Collection (Boxed Set) Benjamin Alire Sáenz / Книга С твърди корици
common.buy 33.47 € 65.46 лв
Rethinking Genesis 1-11 Gordon J. Wenham / Книга С твърди корици
common.buy 26.03 € 50.91 лв
Oxford Primary Illustrated Maths Dictionary / Книга С меки корици
common.buy 11.46 € 22.42 лв
Top
The 5 Am Club: Own Your Morning. Elevate Your Life. Robin Sharma / Книга С твърди корици
common.buy 20.86 € 40.81 лв
Defects in HIgh-k Gate Dielectric Stacks Evgeni Gusev / Книга С твърди корици
common.buy 216.54 € 423.52 лв
Draw and Color Your Dragon JOHN SMITH / Книга С меки корици
common.buy 18.95 € 37.07 лв
In the Heights LIN-MANUEL MIRANDA / Книга С твърди корици
common.buy 32.59 € 63.74 лв
Children of Jocasta Natalie Haynes / Книга С меки корици
common.buy 10.38 € 20.30 лв
Rocket Science Alan McFadzean / Книга С меки корици
common.buy 38.43 € 75.16 лв
Top
Attack on Titan Omnibus 2 (Vol. 4-6) Hajime Isayama / Книга С меки корици
common.buy 15.49 € 30.30 лв
Donbas Conflict in Ukraine Daria Platonova / Книга С твърди корици
common.buy 208.85 € 408.47 лв
Life's Edge Carl Zimmer / Книга С меки корици
common.buy 14.25 € 27.87 лв
This Is Me (from the Greatest Showman) Justin Paul / Книга С меки корици
common.buy 5.88 € 11.51 лв
Of Ancients Unbound T.C. Edge / Книга С меки корици
common.buy 25.05 € 48.99 лв
World Literature Klaudia Hiu Yen Lee / Книга С твърди корици
common.buy 208.85 € 408.47 лв
Dark Waters Jason Wright / E-книга Adobe ePub DRM
common.buy 3.46 € 6.76 лв
Hypertension and Stroke Venkatesh Aiyagari / Книга С меки корици
common.buy 212.15 € 414.93 лв
Dionysius of Halicarnasssus W. Rhys Roberts / Книга С меки корици
common.buy 48.04 € 93.95 лв
Beginning Human Rights Law Howard Davis / Книга С меки корици
common.buy 66.12 € 129.31 лв
Top
Basic Economics Thomas Sowell / Книга С твърди корици
common.buy 35.64 € 69.70 лв
Top
Green Lantern by Geoff Johns Omnibus Vol. 1 Geoff Johns / Книга С твърди корици
common.buy 95.82 € 187.41 лв
Cognitive Linguistics EVANS VYVYAN / Книга С твърди корици
common.buy 163.96 € 320.67 лв
Top
Accessing the Healing Power of the Vagus Nerve Stanley Rosenberg / Книга С меки корици
common.buy 20.76 € 40.61 лв

Вход

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

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

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

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

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