Verification, model checking, and abstract interpretation
: 4th international conference ; proceedings / VMCAI 2003, New York, NY, USA, January 9 - 11, 2002. Lenore D. Zuck ... (ed.). - Berlin : Springer, 2003. - XI, 323 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2575)
ISBN 978-3-540-00348-9 / 3-540-00348-7 kart. : EUR 47.08
Literaturangaben
Quelle: DNB
Verification, model checking, and abstract interpretation
: 4th international conference ; proceedings / VMCAI 2003, New York, NY, USA, January 9 - 11, 2002. L. D. Zuck ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2575)
ISBN 978-3-540-36384-2
Lizenzpflichtig
Quelle: DNB