Suchfeld einblenden
Person Courcoubetis, Costas
1 Treffer
Seite < 1 >
Computer aided verification
: 5th international conference ; proceedings / CAV '93, Elounda, Greece, June 28 - July 1, 1993. Costas Courcoubetis (ed.). - Berlin : Springer, 1993. - IX, 504 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 697)
ISBN 978-3-540-56922-0 / 3-540-56922-7 kart. : DM 96.00
Literaturangaben
Quelle: DNB
Seite < 1 >
