Suchfeld einblenden
Person Ball, Thomas
2 Treffer
Seite < 1 >
Computer aided verification
: 18th international conference ; proceedings / CAV 2006, Seattle, WA, USA, August 17 - 20, 2006. Thomas Ball ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4144)
ISBN 978-3-540-37411-4
Lizenzpflichtig
Quelle: DNB
Model checking software
: proceedings / 10th International SPIN Workshop, Portland, OR, USA, May 9 - 10, 2003. Thomas Ball ; Sriram K. Rajamani (ed.). - Berlin : Springer, 2003. - VIII, 239 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2648)
ISBN 978-3-540-40117-9 / 3-540-40117-2 kart. : EUR 40.66
Literaturangaben
Quelle: DNB
Seite < 1 >
