Benutzerdefiniertes Cover
Benutzerdefiniertes Cover
Normale Ansicht MARC ISBD

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

Powered by Koha