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 Cargus 28.00 lei Easybox 20.00 lei FAN 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

7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

Limba englezăengleză
Carte Carte broșată
Carte Hardware and Software: Verification and Testing Kerstin Eder
Codul Libristo: 01662393
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octombrie 2012
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International H... Descrierea completă
? points 121 b
262.16 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Un bosque ciudad Maribel Lechuga González / Carte Carte broșată
common.buy 50.58 lei
Madonnengrab Walter M. Dobrow / Carte Carte broșată
common.buy 62.94 lei
Formule d'Un Traite d'Arbitrage Entre Nations Charles Lemonnier / Carte Carte broșată
common.buy 75.09 lei
Erbverbruderungen zwischen den Hausern Sachsen und Hessen Edgar Loening / Carte Carte broșată
common.buy 84.54 lei
Confronto tra forza e resistenza della presa tra violinisti e non violinisti Anushree Narekuli / Carte Carte broșată
common.buy 178.03 lei
Gesammelte Werke Alexander Von Humboldt / Carte Carte broșată
common.buy 128.69 lei
Zebřičky Miroslav Příhoda / Carte Carte broșată
common.buy 36.14 lei
Con gli occhi di Caravaggio. Napoli, 1606-1610 Francesco De Core / Carte Copertă tare
common.buy 168.89 lei
Aramizda Robot Var Bertie Fraser / Carte Carte broșată
common.buy 78.10 lei
EinFach Deutsch Unterrichtsmodelle Josef Schnell / Carte Carte broșată
common.buy 203.99 lei
Anvisning Till Islandskan Eller Nordiska Fornspraket Rasmus Rask / Carte Carte broșată
common.buy 135.85 lei
Gute Nacht, Punpun 08. Bd.8 Inio Asano / Carte Carte broșată
common.buy 38.53 lei
Itinerari francescani. Visita ai luoghi dove visse san Francesco Fernando Uribe / Carte Carte broșată
common.buy 117.68 lei
Zunftzeichen Schulze Media GmbH / Carte Foaie
common.buy 44.14 lei
DEFI INSTITUTO FRANCES 2. LIVRE DE L'ELEVE VVAA / Carte Carte
common.buy 130.04 lei
100 PROGRESSIVE STUDIES WITHOUT OCTAVES OP. 139 PIANO MARTIN FREY Materiale tipărite Note muzicale
common.buy 285.53 lei
FROZEN Disney Enterprises / Carte Copertă tare
common.buy 118.30 lei
Das Wesen Der Freien Christlichen Kirche (1847) Johannes Ronge / Carte Copertă tare
common.buy 194.44 lei

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. §The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.

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 Kerstin Eder, Jo, Onn Shehory
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 263
EAN 9783642341878
ISBN 364234187X
Codul Libristo 01662393
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 427
Dimensiuni 155 x 235 x 16

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 > 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

Follow Me Back Nicci Cloke / Carte Carte broșată
common.buy 54.52 lei
Synapse Symphony N Bonfanti / Carte Carte broșată
common.buy 47.35 lei
Genealogy of the Bliss Family in America, From About the Year 1550 to 1880 SYLVESTER BLISS / Carte Copertă tare
common.buy 180.62 lei
Remembrance Meg Cabot / Carte Copertă tare
common.buy 131.28 lei
Legislation in Europe Ulrich Karpen / Carte Copertă tare
common.buy 1 094.28 lei
Christmastime 1941 Linda Mahkovec / Carte Carte broșată
common.buy 75.30 lei
The Expressman and the Detective Allan Pinkerton / Carte Carte broșată
common.buy 71.77 lei
Family Night on Union Station E. M. FONER / Carte Carte broșată
common.buy 67.92 lei
Olivia Lauren's Olivia Travels: A Guide to Modes of Transportation Melissa-Sue John / Carte Carte broșată
common.buy 56.91 lei
True Life Biblical Expierience of Our Time: The First Bible of the Demon Culture, Chanelle Maris Arnold Sr / Carte Carte broșată
common.buy 62.31 lei
Magic Rising (Book 4, Stella Mayweather Series) Camilla Chafer / Carte Carte broșată
common.buy 76.54 lei
Knowledge Quiz: Higher Maths Jo Morgan / Carte Carte broșată
common.buy 71.56 lei
Superclerk Petar Kostadinov / Carte Carte broșată
common.buy 56.70 lei
44 Chapters about 4 Men Bb Easton / Carte Carte broșată
common.buy 79.56 lei
Top
Exile Ryan Cahill / Carte Copertă tare
common.buy 106.15 lei
CompTIA Security+ All-in-One Exam Guide, Fourth Edition (Exam SY0-401) Wm. Arthur Conklin / E-book Adobe ePub DRM
common.buy 323.34 lei
Myths of Greece and Rome Jane Harrison / Carte Copertă tare
common.buy 163.28 lei
Sidewalk Cruiseship: Poems Mary Oishi / Carte Carte broșată
common.buy 90.36 lei
DK Eyewitness Top 10 Munich DK Travel / Carte Carte broșată
common.buy 60.34 lei
The Violence on the meek collection Jason Nickey / Carte Carte broșată
common.buy 115.70 lei
Sacrificing the WHO to the Highest Bidder Theodore H. MacDonald / Carte Carte broșată
common.buy 385.04 lei
Helix Eric Brown / Carte Carte broșată
common.buy 48.91 lei
Book Boy Starter/Beginner Antoinette Moses / Carte Carte broșată
common.buy 41.75 lei
How Barisat Bellowed James H. Charlesworth / Carte Carte broșată
common.buy 94.10 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?