Custom cover image
Custom cover image

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

By: Resource type: Ressourcentyp: BuchBookLanguage: German Series: Leitfäden und Monographien der InformatikPublisher: Stuttgart : Teubner, 1991Description: XII, 308 S : graph. Darst ; 23 cmISBN:
  • 3519022494
Subject(s): Genre/Form: RVK: RVK: ZN 5680 | ST 195 | ST 190 | ST 150 | ZN 5600PPN: PPN: 011922788
Holdings
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

Powered by Koha