Hardware and software verification and testing: first International Haifa Verification Conference, H… - SLUB Dresden

Medientyp: Buch; Konferenzbericht

Titel: Hardware and software verification and testing : first International Haifa Verification Conference, Haifa, Israel, November 13 - 16, 2005 ; revised selected papers

Beteiligte: Ur, Shmuel [Sonstige Person, Familie und Körperschaft]

Veranstaltung: International Haifa Verification Conference

Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2006

Umfang: X, 264 S.; Ill., graph. Darst; 235 mm x 155 mm

Sprache: Englisch

ISBN: 3540326049; 9783540326045

Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 11678779

RVK-Notation: SS 4800 : Lecture notes in computer science

Schlagwörter: Hardwareverifikation > Korrektheit
Programmverifikation > Korrektheit
Softwaretest
Multithreading > Debugging > Programmanalyse
System-on-Chip > Model Checking > Benchmark
Hardwareverifikation > Korrektheit
Programmverifikation > Korrektheit
Software > Testen
Multithreading > Debugging > Programmanalyse
System-on-Chip > Model Checking > Benchmark

Entstehung:

Anmerkungen: Literaturangaben

Weitere Bestandsnachweise
0 : Lecture notes in computer science

Hardware and software verification and testing

Merkliste

Exemplare

Bereichsbibliothek DrePunct – Magazin

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Bereichsbibliothek DrePunct – Magazin