Verifikation digitaler Systeme : eine Einführung in den Entwurf korrekter digitaler Systeme / Hans Eveking
Resource type: Ressourcentyp: BuchBuchSprache: Deutsch Reihen: Leitfäden und Monographien der InformatikVerlag: Stuttgart : Teubner, 1991Beschreibung: XII, 308 S : graph. Darst ; 23 cmISBN:- 3519022494
Medientyp | Heimatbibliothek | Sammlung | Standort | Signatur | Exemplarnummer | Status | Fälligkeitsdatum | Barcode | Vormerkungen | |
---|---|---|---|---|---|---|---|---|---|---|
Freihandbestand ausleihbar | Fachbibliothek Informatik | B.Eve | Bibliothek / frei aufgestellt | B.Eve(12983) | ;c | Verfügbar | 000221609090 | |||
Institutsbestand | ITIV | IB-2457 | Nicht ausleihbar |
Anzahl Vormerkungen: 0