Formal Methods in Computer-Aided Design Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hunt, Warren A. Jr (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Johnson, Steven D. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Έκδοση: 1st ed. 2000.
• Σειρά: Lecture Notes in Computer Science, 1954
• Θέματα: Computer-aided engineering.; Computer hardware.; Computer logic.; Mathematical logic.; Artificial intelligence.; Computational complexity.; Computer-Aided Engineering (CAD, CAE) and Design.; Computer Hardware.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Artificial Intelligence.; Complexity.

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...