Suchfeld einblenden
Person Naftalin, Maurice
1 Treffer
Seite < 1 >
Industrial benefit of formal methods
: proceedings / FME '94, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Maurice Naftalin ... (ed.). - Berlin : Springer, 1994. - XI, 723 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 873)
ISBN 978-3-540-58555-8 / 3-540-58555-9 kart. : DM 134.00
Literaturangaben
Quelle: DNB
Seite < 1 >