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

4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers

Limba englezăengleză
Carte Carte broșată
Carte Hardware and Software: Verification and Testing Hana Chockler
Codul Libristo: 01649749
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, aprilie 2009
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International H... Descrierea completă
? points 132 b
285.96 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Hilflos Dick Francis / Carte Carte broșată
common.buy 57.33 lei
Boxer and Brandon (Bengali Book for Kids) Inna Nusinsky / Carte Carte broșată
common.buy 91.21 lei
Ein Schritt weiter Benjamin Kunkel / Carte Carte broșată
common.buy 104.24 lei
BERENGUELA DE NAVARRA.REINA DE INGLATERRA TRINDADE / Carte Carte broșată
common.buy 154.60 lei
gegenwartige Stand der Gedachtnisforschung Gerrit Witt / Carte Carte broșată
common.buy 89.86 lei
Religionsunterricht ist in den oeffentlichen Schulen mit Ausnahme der bekenntnisfreien Schulen ordentliches Lehrfach Johannes Richter / Carte Carte broșată
common.buy 139.38 lei
Phytosanierung von metallkontaminierten Böden mit Hilfe ausgewählter einheimischer Pflanzen SUBHA SHINI / Carte Carte broșată
common.buy 381.04 lei
Cesarisme Et Christianisme (de l'An 45 Avant J.-C. A l'An 476 Apres) (2e Edition) Proudhon-P-J / Carte Carte broșată
common.buy 138.55 lei
Pierre Bayle Ludwig Feuerbach / Carte Carte broșată
common.buy 148.97 lei
Was Ist Und Wozu Soziooekonomie? Reinhold Hedtke / Carte Carte broșată
common.buy 313.90 lei
Bilanz des Europaischen Systems der Zentralbanken (ESZB). Eine desaggregierte Betrachtung Carl-Jonathan Bertheau / Carte Carte broșată
common.buy 95.07 lei
MARRUECOS 2017 Lee / Carte Carte broșată
common.buy 170.45 lei
Mindfulness : guía práctica : para encontrar la paz en un mundo frenético Danny Penman / Carte Carte broșată
common.buy 123.32 lei
La deuda Rafael Gumucio Araya / Carte Carte broșată
common.buy 112.90 lei
Invasió subtil i altres contes Pere Calders / Carte Carte broșată
common.buy 75.37 lei
10 Consejos Para Mejorar La Relacion Con Tus Hijos Alma Ramirez / Carte Carte broșată
common.buy 38.88 lei
Observations Sur Le Dernier Budget, Adressees Par Un Pair Aux Deux Chambres, A l'Ouverture Mole-L-M / Carte Carte broșată
common.buy 75.37 lei

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Haifa Verification Conference, HVC 2008, held in Haifa, Israel in October 2008.§The 12 revised full papers and 4 tool papers presented together with 6 invited lectures were carefully reviewed and selected from 49 initial submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing). Within each paradigm, different algorithms and techniques are used for hardware and software systems with a special focus on hybrid methods.

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 Hana Chockler, Alan J. Hu
Limba engleză
Legare Carte - Carte broșată
Data publicării 2009
Număr pagini 215
EAN 9783642017018
ISBN 3642017010
Codul Libristo 01649749
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 355
Dimensiuni 155 x 235 x 13

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
Computing & Information Technology > Information technology: general issues
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

Handover in DVB-H Xiaodong Yang / Carte Carte broșată
common.buy 614.16 lei
Masquerades; Or, What You Will. by the Author of Eliza Warwick, &c. in Four Volumes. ... of 4; Volume 1 AUTHOR OF ELIZA WARW / Carte Copertă tare
common.buy 179.31 lei
Top
Naruto: Itachi's Story, Vol. 1 Takashi Yano / Carte Carte broșată
common.buy 48.89 lei
The Confusion Or The Wag August Friedrich F. Von Kotzebue / Carte Copertă tare
common.buy 189.94 lei
Cat-Dependent No More! Jeffrey Reid / Carte Carte broșată
common.buy 73.38 lei
Jazzy Opera Classix: For Tenor Saxophone Hal Leonard Publishing Corporation / Carte Copertă tare
common.buy 105.50 lei
Unmanned Aerial Vehicle (UAV) Muhammed Ehtisham Yahya Farooqi / Carte Carte broșată
common.buy 272.20 lei
Globalization, Difference, and Human Security Mustapha Kamal Pasha / Carte Carte broșată
common.buy 412.74 lei
Mommy, Are YOU Listening? ? ? Patrice Lee / Carte Carte broșată
common.buy 59.31 lei
Syllabus of Lectures on Remedies. John Norton Pomeroy / Carte Carte broșată
common.buy 66.61 lei
The Spirit World: Spirit Walking Dean Moriarty / Carte Carte broșată
common.buy 51.70 lei
Big Lessons for Little Christians Mila Anderson / Carte Carte broșată
common.buy 76.83 lei
Curând
Wit and Wisdom of Dad Emotional Rescue / Carte Copertă tare
common.buy 42.94 lei
Surviving The Storm Mrs Jessica Amos / Carte Carte broșată
common.buy 37.10 lei
Crrn Exam Secrets Study Guide: Crrn Test Review for the Certified Rehabilitation Registered Nurse Exam Mometrix Media / Carte Carte broșată
common.buy 438.80 lei
Global Business in Local Culture Philipp Aerni / Carte Carte broșată
common.buy 314.32 lei
Destiny Elizabeth Haydon / Carte Carte broșată
common.buy 104.45 lei
Carving Creative Walking Sticks and Canes Paul Purnell / Carte Carte broșată
common.buy 96.84 lei
Handbook to the ethnographical Collections British Museum / Carte Carte broșată
common.buy 107.06 lei
A Catalogue Of Paintings In The Collection Of Mr. And Mrs. Charles P. Taft, At Cincinnati, Ohio (1920) Maurice Walter Brockwell / Carte Carte broșată
common.buy 132.39 lei
Emblems for the Young from Scripture, Nature and Art (1833) Cornelius Neale / Carte Carte broșată
common.buy 122.18 lei
Sheltering Mercy Dan Wilt / Carte Copertă tare
common.buy 95.91 lei
Picture You Dead Wayne Brookes / Carte Carte broșată
common.buy 100.49 lei
Mystery Weekly Magazine: May 2020 Kerry Carter / Carte Carte broșată
common.buy 42.32 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?