Computer aided verification: 16th international conference, CAV 2004, Boston, MA, USA, July 13 - 17,… - SLUB Dresden

Medientyp: Buch; Konferenzbericht
Titel: Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13 - 17, 2004 ; proceedings
Enthält: Literaturangaben

Beteiligte: Alur, Rajeev [Hrsg.]; Peled, Doron A. [Sonstige Person, Familie und Körperschaft]
Veranstaltung: CAV
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2004
Erschienen in: Lecture notes in computer science ; 3114
Umfang: XII, 536 S.; Ill., graph. Darst; 235 mm x 155 mm
Sprache: Englisch
ISBN: 3540223428
Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 11015802
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Validierung > Programmverifikation > Softwarewerkzeug
Entstehung:
Anmerkungen:
Weitere Bestandsnachweise
0 : Lecture notes in computer science

Computer aided verification