Custom cover image
Verfahren zur Propagierung von Zeitbedingungen und zur formalen Verifikation des zeitlichen Verhaltens beim Entwurf von Automatisierungssystemen / Reinhold Bareiß
Resource type: Ressourcentyp: BuchBookLanguage: German Series: Verein Deutscher Ingenieure. Fortschritt-Berichte VDI / 20 ; 103Publisher: Düsseldorf : VDI-Verl., 1993Edition: Als Ms. gedrDescription: 183 S. : graph. Darst. ; 21 cmISBN:- 3181403202
- Nebensacht.: Verfikation von Zeitbedingungen
- 2
| Item type | Home library | Collection | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | inst 1.5 | Geschlossenes Magazin | 93 A 4323 | Available | 45533849090 |
Total holds: 0
Archivierung prüfen 20200919 DE-640 2 pdager