Verified software: theories, tools, experiments: third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 ; proceedings

Medientyp: Buch; Konferenzbericht
Titel: Verified software: theories, tools, experiments : third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 ; proceedings
Beteiligte: Leavens, Gary T. [Herausgeber:in]
Veranstaltung: VSTTE
Erschienen: Berlin; Heidelberg: Springer, 2010
Erschienen in: Lecture notes in computer science ; 6217
Umfang: X, 215 S.; graph. Darst; 24 cm
Sprache: Englisch
ISBN: 364215056X; 9783642150562
Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 80020270
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Software > Verifikation
Softwaretest > Programmanalyse > Programmverifikation > Formale Methode
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Lecture notes in computer science

Verified software: theories, tools, experiments