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
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English, German Publisher: New York ; Berlin ; Heidelberg ; London ; Paris ; Tokyo : Springer, 1989Description: VIII, 489 S : graph. DarstISBN:- 3540969888
- 0387969888
- 621.395
- 621.39/5
- TK7874
Item type | Home library | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 89 A 3390 | Available | 46374598090 |
Total holds: 0