Hardware and software: verification and testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; revised selected papers

Medientyp: Buch; Konferenzbericht

Titel: Hardware and software: verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; revised selected papers

Beteiligte: Barner, Sharon [Hrsg.]; Harris, Ian [Sonstige Person, Familie und Körperschaft]; Kroening, Daniel [Sonstige Person, Familie und Körperschaft]; Raz, Orna [Sonstige Person, Familie und Körperschaft]

Veranstaltung: International Haifa Verification Conference

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

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

Sprache: Englisch

ISBN: 3642195822; 9783642195822

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

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

Schlagwörter: Software > Testen > Debugging
Programmverifikation > Hardwareverifikation > Spezifikationstechnik > Testen > Model Checking

Entstehung:

Anmerkungen: Literaturangaben

Weitere Bestandsnachweise
0 : Lecture notes in computer science

Hardware and software: verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; revised selected papers

Merkliste

Exemplare

Bereichsbibliothek DrePunct – Magazin

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Bereichsbibliothek DrePunct – Magazin