Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings /

Bibliographic Details
Corporate Authors:	FMCAD '96 Palo Alto, Calif., SpringerLink (Online service)
Other Authors:	Srivas, Mandayam, Camilleri, Albert
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [1996]
Series:	Lecture notes in computer science ; 1166.
Subjects:	Digital integrated circuits > Computer-aided design > Congresses. Automatic theorem proving > Congresses. Integrated circuits > Verification > Congresses. Computer engineering > Computer-aided design > Congresses. Formal methods (Computer science) > Congresses. vérification. conception circuit. CAO. méthode formelle. Circuits intégrés numériques > Conception et construction > Informatique > Congrès. Circuits intégrés > Vérification > Congrès. Conception assistée par ordinateur > Congrès. Théorèmes > Démonstration automatique > Congrès. Automatic theorem proving. Computer engineering > Computer-aided design. Digital integrated circuits > Computer-aided design. Formal methods (Computer science) Integrated circuits > Verification. CAD. Micro-elektronica. Dessin par ordinateur > Congrès. Formale Methode. Kongre€. Verifikation. Electronic books. Kongre€ > Palo Alto (Calif.) > 1996. Conference proceedings. Palo Alto (Calif., 1996)
Online Access:	Connect to the full text of this electronic book