Hardware and Software, Verification and Testing / Lecture Notes in Computer Science Bd.4383 (PDF)
This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006. The 15 revised full papers presented together with 2 invited lectures are...
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006. The 15 revised full papers presented together with 2 invited lectures are organized in three topical tracks on hardware verification technologies and methodologies, software testing, and tools for hardware verification and software testing.
- 2007, 2007, 235 Seiten, Englisch
- Herausgegeben: Eyal Bin, Avi Ziv, Shmuel Ur
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3540708898
- ISBN-13: 9783540708896
- Erscheinungsdatum: 11.05.2007
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 6.24 MB
- Mit Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Hardware and Software, Verification and Testing / Lecture Notes in Computer Science Bd.4383".
Kommentar verfassen