Opening book details…
Can I read Formal methods in computer-aided design : 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings on EtoBox?
Formal methods in computer-aided design : 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings by Wayne Wolf (auth.), Alan J. Hu, Andrew K. Martin (eds.) is a computer science book available to read on EtoBox.
What is Formal methods in computer-aided design : 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings about?
These are the proceedings of the ?fth international conference, Formal Methods in Computer-Aided Design (FMCAD), held 15-17 November 2004 in Austin, Texas, USA. The conference provides a forum for presenting state-of-the-art tools, methods, algorithms, and theory for the application of formalized r- soning to all aspects of computer-aided system design, including speci'cation, veri'cation, synthesis, and testing. FMCAD's heritagedates back20 yearsto someof the earliestconferenceson the subjectof
Who reads Formal methods in computer-aided design : 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Wayne Wolf (auth.), Alan J. Hu, Andrew K. Martin (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2004
- Language
- EN
- ISBN
- 9783540237389
- Category
- computer science
- Subjects
- Mathematics, Engineering, Science
- Updated
- 2026-03-25
More by Wayne Wolf (auth.), Alan J. Hu, Andrew K. Martin (eds.)
Browse all works by Wayne Wolf (auth.), Alan J. Hu, Andrew K. Martin (eds.)
Similar books
- Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings (Lecture Notes in Computer Science (1166)) — Kurt Keutzer (auth.), Mandayam Srivas, Albert Camilleri (1996)
- Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science (1954)) — Robert Beers, Rajnish Ghughal, Mark Aagaard (auth.), Warren A. Hunt Jr., Steven D. Johnson (2000)
- Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings (Lecture Notes in Computer Science, 2885) — Ian J. Hayes (auth.), Jin Song Dong, Jim Woodcock (2003)
- Advances In Formal Design Methods For Cad: Proceedings Of The Ifip Wg5.2 Workshop On Formal Design Methods For Computer-aided Design, June 1995 (ifip ... In Information And Communication Technology) — Mary Lou Maher, Josiah Poon, Sylvie Boulanger (auth.), John S. Gero, Fay Sudweeks (1996)
- Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science (3114)) — Doron Peled (auth.), Rajeev Alur, Doron A. (2004)
- Formal Methods For Industrial Critical Systems: 14th International Workshop, Fmics 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (lecture Notes In Computer Science) — Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (2009)
