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):

Birtwistle, Graham M, 1939- [Hrsg.]
Subrahmanyam, P. A [oth]
Workshop on Hardware Verification (1988 : Banff, Alberta) [oth]

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):

Hardwareverifikation
Automatisches Beweisverfahren
Automatic theorem proving
Computer hardware
Integrated circuits Very large scale integration Design and construction

Genre/Form:

Konferenzschrift

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 ( 1 )

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

Place hold
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)