Verifikation digitaler Systeme eine Einführung in den Entwurf korrekter digitaler Systeme Hans Eveking
Materialtyp: TextSprache: Deutsch Reihen: Leitfäden und Monographien der InformatikVerlag: Stuttgart Teubner 1991Beschreibung: XII, 308 S graph. Darst 23 cmInhaltstyp:- Text
- ohne Hilfsmittel zu benutzen
- Band
- 3519022494
- 28 | 37
- ZN 5680
- ST 195
- ST 190
- ST 150
- 53.52
- 54.31
- 53.55
- Archivierung/Langzeitarchivierung gewährleistet PEBW
Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | |
---|---|---|---|---|---|---|---|---|
Buch | Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | EVE h 1991:1 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000130594 | ||
Buch | Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | EVE h 1991:1 2.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000130563 | ||
Buch | Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | EVE h 1991:1 3.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000130587 |
Regale von HOMEBRANCH: Universität des Saarlandes Fachrichtung Informatik durchstöbern, Standort: Books A-Z (1st), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)
Literaturverz. S. [293] - 302
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-24