Benutzerdefiniertes Cover
Benutzerdefiniertes Cover
Normale Ansicht MARC ISBD

Verifikation digitaler Systeme : eine Einführung in den Entwurf korrekter digitaler Systeme / Hans Eveking

Von: Resource type: Ressourcentyp: BuchBuchSprache: Deutsch Reihen: Leitfäden und Monographien der InformatikVerlag: Stuttgart : Teubner, 1991Beschreibung: XII, 308 S : graph. Darst ; 23 cmISBN:
  • 3519022494
Schlagwörter: Genre/Form: RVK: RVK: ZN 5680 | ST 195 | ST 190 | ST 150 | ZN 5600PPN: PPN: 011922788
Exemplare
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

Powered by Koha