Computer aided verification
: 15th international conference ; proceedings / CAV 2003, Boulder, CO, USA, July 8 - 12, 2003 / Warren A. Hunt ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2725)
ISBN 978-3-540-45069-6
Lizenzpflichtig
Quelle: DNB
Formal methods in computer aided design
: third international conference ; proceedings / FMCAD 2000, Austin, TX, USA, November 1 - 3, 2000. Warren A. Hunt, jr. ; Steven D. Johnson (ed.). - Berlin : Springer, 2000. - XI, 537 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1954)
ISBN 978-3-540-41219-9 / 3-540-41219-0 kart. : DM 114.00
Literaturangaben
Quelle: DNB
Formal methods in computer aided design
: third international conference ; proceedings / FMCAD 2000, Austin, TX, USA, November 2000. Warren A. Hunt ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1954)
ISBN 978-3-540-40922-9
Lizenzpflichtig
Quelle: DNB