UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KBR (1)

Resource type

book (1)

Language

English (1)

Year

From To

1992 (1)

Listing 1 - 1 of 1
Sort by

Book

Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design--Theory, Practice, and Experience, Nijmegen, The Netherlands, 22-24 June 1992
Authors: Stavridou, Victoria --- Melham, Tom F. --- Boute, Raymond T.
ISBN: 0444896864 Year: 1992 Publisher: Amsterdam New York North-Holland

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Integrated circuits - Very large scale integration - Design and construction - Data processing - Congresses. --- Automatic theorem proving - Congresses. --- Computer-aided design - Congresses.

Listing 1 - 1 of 1
Sort by