Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings

This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal...

Description complète

Détails bibliographiques

Collectivité auteur:	International conference on Formal Methods in Computer-Aided Design :Portland
Autres auteurs:	O Leary, John W., 19..- (Directeur de la publication), Aagaard, Mark, 1966- (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 2517
Sujets:	Génie logiciel Électrotechnique Conception assistée par ordinateur Informatique Logique symbolique et mathématique Ordinateurs Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Formal methods in computer-aided design, 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings, Mark D. Aagaard, John W. O'Leary (eds.), Berlin, Springer, 2002, 1 vol. (XI-398 p.), Lecture notes in computer science, 3-540-00116-6 • Formal Methods in Computer-Aided Design, Texte imprimé, 9783662198865