Formal hardware verification : methods and systems in comparison / ed. Thomas Kropf
Secondary Author Kropf, Thomas Country Alemanha. Publication Berlin : Springer-Verlag, cop. 1997 Description XII, 367 p. : il. ; 24 cm Series Lecture notes in computer science , 1287) ISBN 3-540-63475-4 CDU 681.3| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Monografia | Biblioteca Geral da Universidade do Minho | BGUMD 115410 | Available | 262604 |
Total holds: 0
Enhanced descriptions from Syndetics:
There are no comments for this item.