Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings /

"This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of Karlsruhe) and IFIP Working Group 10.2 in Bad Herrenalb, Germany in September 1994. The 19 paper...

Full description

Bibliographic Details
Corporate Authors:	SpringerLink (Online service), International Conference on Theorem Provers in Circuit Design
Other Authors:	Kumar, Ramayya, 1957-, Kropf, Thomas, 1961-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1995]
Series:	Lecture notes in computer science ; 901.
Subjects:	Digital integrated circuits > Computer-aided design > Congresses. Automatic theorem proving > Congresses. vérification formelle. méthode formelle. conception circuit. démonstration théorème. Circuits intégrés numériques > Conception et construction > Informatique > Congrès. Conception assistée par ordinateur > Congrès. Théorèmes > Démonstration automatique > Congrès. Automatic theorem proving. Digital integrated circuits > Computer-aided design. Micro-elektronica. Automatisches Beweisverfahren. Entwurfsautomation. Kongre€. Logische Schaltung. Electronic books. Kongre€ > Herrenalb > 1994. Conference proceedings. Herrenalb (1994)
Online Access:	Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Remote Storage

Holdings details from Remote Storage
Call Number	Status	Get It
Call Number:		TK7874.65 .T54 1995

TK7874.65 .T54 1995	Available