Suchfeld einblenden
Person Srivas, Mandayam
1 Treffer
Seite < 1 >
Formal methods in computer aided design
: first international conference ; proceedings / FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996. Mandayam Srivas ; Albert Camilleri (ed.). - Berlin : Springer, 1996. - IX, 470 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1166)
ISBN 978-3-540-61937-6 / 3-540-61937-2 kart. : DM 94.00
Literaturangaben
Quelle: DNB
Seite < 1 >
