Suchfeld einblenden
Person Clarke, Edmund M.
1 Treffer
Seite < 1 >
Computer aided verification
: 2nd international conference ; proceedings / CAV '90, New Brunswick, NJ, June 18 - 21, 1990. E. M. Clarke ; R. P. Kurshan (ed.). - Berlin : Springer, 1991. - XIII, 372 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; 531)
ISBN 978-3-540-54477-7 / 3-540-54477-1 kart. : DM 55.00
Literaturangaben
Quelle: DNB
Seite < 1 >
