Katalog der Deutschen Nationalbibliothek

Springe direkt zu:

Katalog (Beta)

Medien

Verfügbar in Frankfurt
Verfügbar in Frankfurt
Verfügbar in Leipzig
Verfügbar in Leipzig

Armin Biere, Amir Nahir, Tanja Vos u. a.

Hardware and software: verification and testing : revised selected papers

Heidelberg, Dordrecht, London, New York, NY, Berlin: Springer, 2013

Titel

Hardware and software: verification and testing : revised selected papers / 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6 - 8, 2012. Armin Biere ... (ed.)

Beteiligt

Armin Biere (Herausgeber)
Amir Nahir (Herausgeber)
Tanja Vos (Herausgeber)
HVC (8, 2012, Haifa) (Herausgebendes Organ)

Erschienen

Heidelberg, Dordrecht, London, New York, NY, Berlin: Springer
2013

Umfang

XI, 279 S. : graph. Darst.

ISBN

978-3-642-39610-6

Sprache

Englisch

Land

Deutschland

Themen­gebiet

Informatik

Thema

Hardwareverifikation, Formale Methode, Testen, Kongress, Haifa <2012>
Programmverifikation, Formale Methode, Softwaretest, Kongress, Haifa <2012>

DDC-Notation

004.24
005.14

Reihe

Lecture notes in computer science ; 7857

Weitere Angaben

Literaturangaben

Datensatz-ID

1036325296
Hinweis

Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link:

DNB-Portal