Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000 : proceedings

The biannual Formal Methods in Computer Aided Design conference (FMCAD 2000)is the third in a series of conferences under that title devoted to the use of discrete mathematical methods for the analysis of computer hardware and so- ware. The work reported in this book describes the use of modeling la...

Deskribapen osoa

Xehetasun bibliografikoak

Erakunde egilea:	International conference on Formal Methods in Computer-Aided Design :Austin, Texas
Beste egile batzuk:	Hunt, Warren A. Jr., 1958- (Argitalpenaren zuzendaria), Johnson, Steven Dexter, 1948- (Argitalpenaren zuzendaria)
Formatua:	Livre numérique
Hizkuntza:	Anglais
Argitaratua:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Saila:	Lecture notes in computer science 1954
Gaiak:	Conception assistée par ordinateur Informatique Circuits intégrés Intelligence artificielle Ordinateurs Logique symbolique et mathématique Vérification (épistémologie) Actes de congrès
Sarrera elektronikoa:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Oharra:	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, third international conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, proceedings, Warren A. Hunt, Jr., Steven D. Johnson, eds, 2000, New York, Springer, 1 vol (XI-537 p.), Lecture notes in computer science, 3-540-41219-0 • Formal Methods in Computer-Aided Design, Texte imprimé, 9783662211731