Suchfeld einblenden
Person Dill, David L.
1 Treffer
Seite < 1 >
Computer aided verification
: 6th international workshop ; proceedings / CAV '94, Stanford, California, USA, June 21 - 23, 1994. David L. Dill (ed.). - Berlin : Springer, 1994. - IX, 480 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 818)
ISBN 978-3-540-58179-6 / 3-540-58179-0 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Seite < 1 >
