Custom cover image
Custom cover image

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
Subject(s): Genre/Form: MSC: MSC: *68-06 | 94C99 | 68Q99RVK: RVK: ST 195 | ZN 4950 | SS 1800LOC classification:
  • TK7874
Action note:
  • 3
Call number: Grundsignatur: 90 A 4253PPN: PPN: 019345186
Holdings
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