Suchfeld einblenden
Person Woodcock, James C. P.
1 Treffer
Seite < 1 >
Industrial strength formal methods
: proceedings / FME' 93, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19 - 23, 1993. J. C. P. Woodcock ; P. G. Larsen (ed.). - Berlin : Springer, 1993. - XI, 689 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 670)
ISBN 978-3-540-56662-5 / 3-540-56662-7 kart. : DM 122.00
Literaturangaben
Quelle: DNB
Seite < 1 >
