Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Hardware and Software: Verification and Testing

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

Limba englezăengleză
Carte Carte broșată
Carte Hardware and Software: Verification and Testing Armin Biere
Codul Libristo: 01664050
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iunie 2013
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verificatio... Descrierea completă
? points 121 b
262.39 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Harry Potter: Vánoce v Bradavicích Joanne K. Rowling / Carte Copertă tare
common.buy 85.55 lei
101 vecí na hľadanie a nalepovanie Rozprávkové bytosti / Carte Carte broșată
common.buy 20.57 lei
Heilige Maria, Mutter Gottes / Carte Foaie
common.buy 22.55 lei
Die Umsetzung des NCV-Programms am Tshwane North FET College Kaizer Raseane Makole / Carte Carte broșată
common.buy 271.43 lei
Schody do nebe Lorna Byrneová / Carte Copertă tare
common.buy 54.36 lei
Philologus / Carte Copertă tare
common.buy 591.43 lei
Gra Szacho-warcaby 31 / Carte binding.
common.buy 187.43 lei
??????????? ???? ?????? ????????? ????? ?????????? Neil King / E-book Adobe ePub DRM
common.buy 41.78 lei
Praxeologie der Moderne Gunnar Skirbekk / Carte Carte broșată
common.buy 238.37 lei
Tintin c'est l'aventure n°24 - Belgique - Offre Jumelée / Carte Carte broșată
common.buy 156.56 lei
Marmorpalais im Neuen Garten der Stiftung Preußischer Schlösser und Gärten Berlin-Brandenburg / Carte Carte broșată
common.buy 36.58 lei
Tumeurs malignes rares Jean-Pierre Droz / Carte Copertă tare
common.buy 877.22 lei
Geschichte der jungen Renate Fuchs Jakob Wassermann / Carte Carte broșată
common.buy 49.58 lei
Frauen- und Kinderarbeit in der Zeit der Industrialisierung Viktoria Lehner / Carte Carte broșată
common.buy 79.83 lei
MÁS ALLÁ DEL LÍMITE SIMONE ELKELES / Carte Carte broșată
common.buy 43.55 lei
Problem der demokratischen Legitimation in foederalen Systemen Julia Schoeppenthau / Carte Carte broșată
common.buy 89.60 lei
Odisea / The Odyssey HOMERO / Carte Carte broșată
common.buy 58.21 lei
20TH CENTURY ITALIAN COMPOSERS PIANO ALFONSO ALBERTI Carte binding.
common.buy 148.24 lei
Puissances de l'imagination : Malebranche, De l'imagination, Cervantès, Don Quichotte, Proust, Un amour de Swann Anglard / Carte Carte broșată
common.buy 123.39 lei
CHAGALL, MODIGLIANI, SOUTINE... PARIS POUR ECOLE, 1905-1940 Carte Carte
common.buy 162.79 lei
LE DEFI DES DRUIDES BRISOU-PELLEN / Carte Carte broșată
common.buy 68.60 lei
L'année de la grande section 5-6ans - Tout pour réussir en maternelle Ginette Grandcoin-Joly / Carte Carte broșată
common.buy 59.98 lei
Dalmatien - 1.000 Teile (Puzzle) / Joc / Jucărie Joc
common.buy 165.19 lei
MI PRIMER IMAGINARIO DE DINOSAURIOS LAURE DU FAY / Carte Carte broșată
common.buy 87.84 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Hardware and Software: Verification and Testing
Autor Armin Biere, Amir Nahir, Tanja Vos
Limba engleză
Legare Carte - Carte broșată
Data publicării 2013
Număr pagini 281
EAN 9783642396106
ISBN 3642396100
Codul Libristo 01664050
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 456
Dimensiuni 155 x 235 x 19

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Numerical Treatment of Multiphase Flows in Porous Media Zhangxin Chen / Carte Copertă tare
common.buy 599.95 lei
Top
Aristotle and Dante Collection (Boxed Set) Benjamin Alire Sáenz / Carte Copertă tare
common.buy 177.76 lei
Rethinking Genesis 1-11 Gordon J. Wenham / Carte Copertă tare
common.buy 145.22 lei
Oxford Primary Illustrated Maths Dictionary / Carte Carte broșată
common.buy 60.18 lei
Top
The 5 Am Club: Own Your Morning. Elevate Your Life. Robin Sharma / Carte Copertă tare
common.buy 116.43 lei
Defects in HIgh-k Gate Dielectric Stacks Evgeni Gusev / Carte Copertă tare
common.buy 1 135.77 lei
Draw and Color Your Dragon JOHN SMITH / Carte Carte broșată
common.buy 99.38 lei
In the Heights LIN-MANUEL MIRANDA / Carte Copertă tare
common.buy 160.82 lei
Children of Jocasta Natalie Haynes / Carte Carte broșată
common.buy 54.57 lei
Rocket Science Alan McFadzean / Carte Carte broșată
common.buy 201.57 lei
Top
Attack on Titan Omnibus 2 (Vol. 4-6) Hajime Isayama / Carte Carte broșată
common.buy 81.18 lei
Donbas Conflict in Ukraine Daria Platonova / Carte Copertă tare
common.buy 1 143.78 lei
Life's Edge Carl Zimmer / Carte Carte broșată
common.buy 79.63 lei
This Is Me (from the Greatest Showman) Justin Paul / Carte Carte broșată
common.buy 29.41 lei
Of Ancients Unbound T.C. Edge / Carte Carte broșată
common.buy 137.64 lei
World Literature Klaudia Hiu Yen Lee / Carte Copertă tare
common.buy 1 143.78 lei
Dark Waters Jason Wright / E-book Adobe ePub DRM
common.buy 17.35 lei
Hypertension and Stroke Venkatesh Aiyagari / Carte Carte broșată
common.buy 1 112.59 lei
Dionysius of Halicarnasssus W. Rhys Roberts / Carte Carte broșată
common.buy 263.64 lei
Beginning Human Rights Law Howard Davis / Carte Carte broșată
common.buy 346.81 lei
Top
Basic Economics Thomas Sowell / Carte Copertă tare
common.buy 175.58 lei
Top
Green Lantern by Geoff Johns Omnibus Vol. 1 Geoff Johns / Carte Copertă tare
common.buy 471.77 lei
Cognitive Linguistics EVANS VYVYAN / Carte Copertă tare
common.buy 896.25 lei
Top
Accessing the Healing Power of the Vagus Nerve Stanley Rosenberg / Carte Carte broșată
common.buy 115.39 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?