Verifikation digitaler Systeme : eine Einführung in den Entwurf korrekter digitaler Systeme / Hans Eveking
Resource type: Ressourcentyp: BuchBookLanguage: German Series: Leitfäden und Monographien der InformatikPublisher: Stuttgart : Teubner, 1991Description: XII, 308 S : graph. Darst ; 23 cmISBN:- 3519022494
Item type | Home library | Collection | Shelving location | Call number | Copy number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|---|---|
Freihandbestand ausleihbar | Fachbibliothek Informatik | B.Eve | Bibliothek / frei aufgestellt | B.Eve(12983) | ;c | Available | 000221609090 | |||
Institutsbestand | ITIV | IB-2457 | Not for loan |
Total holds: 0