Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen / Carsten Gremzow; Nico Moser (Hrsg.)
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: German, English Publisher: Berlin : Univ.-Verl. der TU, 2009Description: VI, 248 S. : Ill., graph. Darst ; 21 cm, 337 grISBN:- 9783798321182
- 621.392
- 621.395
- 620
- 2
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 2009 A 3741 | Available | 50102498090 |
Total holds: 0
Archivierung prüfen 20200919 DE-640 2 pdager