Current trends in hardware verification and automated theorem proving [Workshop on Hardware Verification held in Banff, Canada, from June 12 through June 18, 1988] / G. Birtwistle ... eds
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch, Deutsch Verlag: New York ; Berlin ; Heidelberg ; London ; Paris ; Tokyo : Springer, 1989Beschreibung: VIII, 489 S : graph. DarstISBN:- 3540969888
- 0387969888
- 621.395
- 621.39/5
- TK7874
Medientyp | Heimatbibliothek | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | Vormerkungen | |
---|---|---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 89 A 3390 | Verfügbar | 46374598090 |
Anzahl Vormerkungen: 0