Suchfeld einblenden
Person Kropf, Thomas
1 Treffer
Seite < 1 >
Formal hardware verification
: methods and systems in comparison / Thomas Kropf (ed.). - Berlin : Springer, 1997. - XII, 367 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 1287)
ISBN 978-3-540-63475-1 / 3-540-63475-4 kart. : DM 78.00
Literaturverz. S. 349 - 367
Quelle: DNB
Seite < 1 >
