Suchfeld einblenden
Person Cook, Byron
1 Treffer
Seite < 1 >
Verification, model checking, and abstract interpretation
: 8th international conference ; proceedings / VMCAI 2007 Nice, France, January 14 - 16, 2007. Byron Cook ; Andreas Podelski (ed.). - Berlin : Springer, 2007. - XI, 394 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4349)
ISBN 978-3-540-69735-0 / 3-540-69735-7 kart. : EUR 59.92 (freier Pr.), ca. sfr 99.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Seite < 1 >
