Suchfeld einblenden
Person Wolper, Pierre
1 Treffer
Seite < 1 >
Computer aided verification
: 7th international conference ; proceedings / CAV '95, Liège, Belgium, July 3 - 5, 1995. Pierre Wolper (ed.). - Berlin : Springer, 1995. - X, 450 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 939)
ISBN 978-3-540-60045-9 / 3-540-60045-0 kart. : DM 94.00
Literaturangaben
Quelle: DNB
Seite < 1 >
