An edition of Formal methods in computer-aided design (1998)
Formal methods in computer-aided design
second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings
By FMCAD '98 (1998 Palo Alto, Calif.)
Publish Date
1998
Publisher
Springer
Language
eng
Pages
528
Description:
subjects: Congresses, Computer-aided design, Digital integrated circuits, Computer engineering, Verification, Automatic theorem proving, Formal methods (Computer science), Integrated circuits, Design and construction, Data processing, Circuits intégrés numériques, Conception et construction, Informatique, Congrès, Circuits intégrés, Vérification, Conception assistée par ordinateur, Théorèmes, Démonstration automatique, Micro-elektronica, CAD, Automatische bewijsvoering, Entwurfsautomation, Formale Methode, Model Checking, Verifikation, Kongress, Computacao aplicada