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

Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Hardware and Software: Verification and Testing Karen Yorav
Codul Libristo: 01569878
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, februarie 2008
This book constitutes the thoroughly refereed post-conference proceedings of the Third International... Descrierea completă
? points 142 b
307.23 lei
În depozitul extern în cantități mici Expediem în 13-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

La esforzada reelaboración del saber : repertorios médicos de interés lexicográfico anteriores a la imprenta Bertha M. Gutiérrez Rodilla / Carte Carte broșată
common.buy 139.17 lei
Espacio público y espacio privado / Carte Carte broșată
common.buy 118.74 lei
Trois Livres Des Offices de France. Livre 3 Girard-E / Carte Carte broșată
common.buy 299.20 lei
Ostwind 06 - Der große Orkan Lea Schmidbauer / Carte Copertă tare
common.buy 72.97 lei
amerikanische Kino in Zeiten politischer Verfolgung Viktor Gasic / Carte Carte broșată
common.buy 139.38 lei
Пятнадцатилетний капитан Жюль Верн / Carte Carte broșată
common.buy 46.70 lei
Žiješ jenom dvakrát Dominik Dán / Carte Copertă tare
common.buy 65.57 lei
Diktat-Stars - Allgemeine Ausgabe - 3. Schuljahr Maria Auer / Carte Foaie
common.buy 49.09 lei
Augenblicke des Daseins. Autobiographische Skizzen Virginia Woolf / Carte Copertă tare
common.buy 125.51 lei
Au nom de tous nos dieux Deloges / Carte Carte broșată
common.buy 134.79 lei

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Haifa Verification Conference, HVC 2007, held in Haifa, Israel, in October 2007.§The 15 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 32 submissions. The papers are organized in topical tracks on hardware verification, model checking, dynamic hardware verification, merging formal and testing, formal verification for software and software testing.

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 Karen Yorav
Limba engleză
Legare Carte - Carte broșată
Data publicării 2008
Număr pagini 267
EAN 9783540779643
ISBN 3540779647
Codul Libristo 01569878
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 444
Dimensiuni 155 x 235 x 240

Categorii

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

Curând
Film Genre Book John Sanders / Carte Copertă tare
common.buy 629.59 lei
Babylonian Expedition of the University of Pennsylvania The Babylonian Expedition / Carte Copertă tare
common.buy 247.28 lei
Functional Equations and Inequalities with Applications Pl Kannappan / Carte Carte broșată
common.buy 1 707.80 lei
GRAMMAR-SCHOOL ARITHMETIC INCLUDING EASY JOHN HENRY WALSH / Carte Copertă tare
common.buy 210.79 lei
Dungeons & Dragons: Honor Among Thieves: The Druid's Call E.K Johnston / Carte Carte broșată
common.buy 54.72 lei
Bruce Lee Enter the Dragon Scrapbook Sequences Vol 6 Rick Baker / Carte Carte broșată
common.buy 138.02 lei
Smell and the Past William Tullett / Carte Copertă tare
common.buy 637.20 lei
Bowling Narragansett Machine Company (Provide / Carte Carte broșată
common.buy 80.37 lei
Aimless Life Andrew Offenburger / Carte Carte broșată
common.buy 87.88 lei
Internet of Things Scott J. Shackelford / Carte Carte broșată
common.buy 75.78 lei
Northanger Abbey - Large Print Edition Jane Austen / Carte Carte broșată
common.buy 91.63 lei
Infonomics Douglas B Laney / Carte Copertă tare
common.buy 190.36 lei
Little Course in Sewing Various / Carte Copertă tare
common.buy 77.97 lei
Modern Romance Short Stories Sherrie Lynn / Carte Carte broșată
common.buy 51.70 lei
Genus Utricularia P. G. Taylor / Carte Carte broșată
common.buy 354.56 lei
Abdominoplasty, An Issue of Clinics in Plastic Surgery Al S Aly / Carte Copertă tare
common.buy 480.71 lei
Genetic Algorithms and Application in Examination Scheduling Dang Xuan Tho / Carte Carte broșată
common.buy 213.19 lei
Case Studies In Organizational Behavior And Theory For Health Care Borkowski / Carte Carte broșată
common.buy 496.56 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