Verified software: theories, tools, experiments: 4th international conference, VSTTE 2012, Philadelp… - SLUB Dresden

Medientyp: Buch; Konferenzbericht
Titel: Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28 - 29, 2012 ; proceedings
Beteiligte: Joshi, Rajeev [Hrsg.]
Veranstaltung: VSTTE
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2012
Erschienen in: Lecture notes in computer science ; 7152
Umfang: X, 325 S.; graph. Darst; 24 cm
Sprache: Englisch
ISBN: 9783642277047; 3642277047
Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 86039728
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Verifikation > Softwarespezifikation > Spezifikationssprache
Softwaretest > Programmanalyse > Programmverifikation > Formale Methode
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Lecture notes in computer science

Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28 - 29, 2012 ; proceedings