Formal methods for VLSI design : IFIP WG 10.5 lecture notes / ed. by Jørgen Staunstrup
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: Amsterdam [u.a.] : North-Holland, 1990Description: 329 S : graph. DarstISBN:- 0444888586
- TK7874
- 3
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 90 A 4253 | Available | 46144825090 | |
| Institutsbestand | ITIV | IB-2506 | Not for loan |
Total holds: 0
Archivierung prüfen 20240511 DE-640 3 pdager