Verification of digital and hybrid systems [proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26 - June 6, 1997] ed. by Kemal Inan; Robert P. Kurshan
Materialtyp:
TextSprache: Englisch Reihen: ; 17000 | NATO NATO ASI series / F ; 170 | Verlag: Berlin Heidelberg [u.a.] Springer 2000Beschreibung: XVIII, 405 S. graph. Darst. 24 cmInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 3540655956
- QA76.76.V47
- 28
- ST 140
- SS 1997
- *00B25
- 68-06
- 54.10
- 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) | INA m 2000:1 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000155661 |
Includes bibliographical references
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31