Suchfeld einblenden
Person Bochmann, Gregor von
1 Treffer
Seite < 1 >
Computer aided verification
: fourth international workshop ; proceedings / CAV '92, Montreal, Canada, June 29 - July 1, 1992. G. v. Bochmann ; D. K. Probst (ed.). - Berlin : Springer, 1993. - IX, 422 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 663)
ISBN 978-3-540-56496-6 / 3-540-56496-9 kart. : DM 80.00
Literaturangaben
Quelle: DNB
Seite < 1 >
