Opening book details…
Can I read 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)) on EtoBox?
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)) by Kurt Keutzer (auth.), Mandayam Srivas, Albert Camilleri (eds.) is a nonfiction available to read on EtoBox.
What is 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)) about?
<p>This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Palo Alto, California, USA, in November 1996.<br> The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including verification, synthesis, and testing.</p>
Who reads 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))?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Kurt Keutzer (auth.), Mandayam Srivas, Albert Camilleri (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1996
- Language
- EN
- ISBN
- 9783540495673
- Category
- nonfiction
- Subjects
- Engineering, Mathematics, Science
More by Kurt Keutzer (auth.), Mandayam Srivas, Albert Camilleri (eds.)
Browse all works by Kurt Keutzer (auth.), Mandayam Srivas, Albert Camilleri (eds.)
Similar books
- Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings (Lecture Notes in Computer Science, 1522) — Kenneth L. McMillan (auth.), Ganesh Gopalakrishnan, Phillip Windley (1998)
- Formal methods in computer-aided design : 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings — Wayne Wolf (auth.), Alan J. Hu, Andrew K. Martin (2004)
- 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)
- Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science, 1102) — Bernard Boigelot, Patrice Godefroid (auth.), Rajeev Alur, Thomas A. Henzinger (1996)
- Pairing-based cryptography - Pairing 2009 : Third International Conference, Palo Alto, CA, USA, August 12-14, 2009 : proceedings — David Jao, Kayo Yoshida (auth.), Hovav Shacham, Brent Waters (2009)
- Computer Aided Learning and Instruction in Science and Engineering: Third International Conference, Calisce '96 San Sebastian, Spain, July 29-31, 1996: Proceedings (Lecture Notes in Computer Science) — Claude Frasson (auth.), Arantza Díaz de Ilarraza Sánchez, Isabel Fernández de Castro (1996)
