Formal methods for VLSI design : IFIP WG 10.5 lecture notes / ed. by Jørgen Staunstrup
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Verlag: Amsterdam [u.a.] : North-Holland, 1990Beschreibung: 329 S : graph. DarstISBN:- 0444888586
- TK7874
- 3
| Medientyp | Heimatbibliothek | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 90 A 4253 | Verfügbar | 46144825090 | |
| Institutsbestand | ITIV | IB-2506 | Nicht ausleihbar |
Anzahl Vormerkungen: 0
Archivierung prüfen 20240511 DE-640 3 pdager