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:

Schlagwörter:

Genre/Form:

MSC: MSC: *68-06 | 94C99 | 68Q99RVK: RVK: ST 195 | ZN 4950 | SS 1800LOC-Klassifikation:

Bearbeitungsvermerk:

Call number: Grundsignatur: 90 A 4253PPN: PPN: 019345186

Exemplare
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