Custom cover image
Custom cover image

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
Subject(s): Genre/Form: DDC classification:
  • 621.395
  • 621.39/5
MSC: MSC: *68-06 | 68T15 | 68Q60 | 68Q42 | 03B10 | 03B15 | 03B35 | 03B40 | 03B45 | 03B48RVK: RVK: ST 190 | SS 1988LOC classification:
  • TK7874
Call number: Grundsignatur: 89 A 3390PPN: PPN: 025427032
Holdings
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

Powered by Koha