Hauptinhalt anzeigen

MOMENTAN AUSVERKAUFT

Hardware and Software: Verification and Testing von Orna Raz (2011, Taschenbuch)

Über dieses Produkt

Über dieses Produkt

Produktinformation

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.

Produktkennzeichnungen

Herausgeber
Sharon Barner, Daniel Kroening, Ian Harris, Orna Raz
ISBN-10
3642195822
ISBN-13
9783642195822
eBay Product ID (ePID)
161730947

Produkt Hauptmerkmale

Produktart
Lehrbuch
Sprache
Englisch
Anzahl der Seiten
X Seiten
Verlag
Springer-Verlag Gmbh, Springer Berlin
Publikationsname
Hardware And Software: Verification And Testing
Autor
Sharon Barner, Daniel Kroening, Ian Harris, Orna Raz
Format
Taschenbuch
Erscheinungsjahr
2011

Zusätzliche Produkteigenschaften

Hörbuch
No
Inhaltsbeschreibung
Book
Item Length
23cm
Item Height
1cm
Item Width
15cm
Nummer Innerhalb der Serie
6504
Item Weight
324g
Buchreihe
Lecture Notes in Computer Science

Meistverkauft in Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Meistverkauft in Studium & Erwachsenenbildung

Das einzige Buch, das Du über Finanzen lesen solltest von Thomas Kehl (2022, Taschenbuch)
4.5 von 5 Sternen in 2 Produktbewertungen
EUR 12,00 Neu
EUR 9,49 Gebraucht
Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)
4.3 von 5 Sternen in 4 Produktbewertungen
EUR 19,90 Neu
EUR 17,69 Gebraucht

Hier sparen: Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Hier sparen: Studium & Erwachsenenbildung

The Serpent and the Wings of Night (Crowns of Nyaxia 1) | Carissa Broadbent
EUR 18,00
Preistendenz: EUR 18,21
Einfaches Kassenbuch | Einnahmen und Ausgaben
EUR 4,99
Preistendenz: EUR 6,42
Brian W. Kernighan (u. a.) | The C Programming Language | Taschenbuch | Englisch
EUR 39,95
Preistendenz: EUR 47,48
Sachkundeprüfung im Bewachungsgewerbe | gemäß § 34a GewO | Jochmann (u. a.)
EUR 20,00
Preistendenz: EUR 26,84
Hans Henning Oerberg | Lingua latina per se illustrata: familia romana | Buch
EUR 27,29
Preistendenz: EUR 29,50

Auch interessant

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Auch interessant