logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Formal Methods in Computer-Aided Design: Proceedings of Formal Methods in Computer Aided Design [6th International Conference]: 12-16 November, 2006 - Institute of Electrical and Electronics Engineers, Inc.
Add cover
Formal Methods in Computer-Aided Design: Proceedings of Formal Methods in Computer Aided Design [6th International Conference]: 12-16 November, 2006
by: (author)
Format: hardcover
ISBN: 9780769527079 (0769527078)
Publisher: IEEE Computer Society Press
Pages no: 193
Edition language: English
Bookstores:
Books by Institute of Electrical and Electronics Engineers, Inc.
2001 Aerospace Conference: Proceedings :... 2001 Aerospace Conference: Proceedings : March 10-March 17, 2001, Big Sky, Montana - Institute of Electrical and Electronics Engineers, Inc.
Test Conference International 1993 - Ins... Test Conference International 1993 - Institute of Electrical and Electronics Engineers, Inc.
The New IEEE Standard Dictionary of Elec... The New IEEE Standard Dictionary of Electrical and Electronics Terms: Including Abstracts of All Current IEEE Standards - Institute of Electrical and Electronics Engineers, Inc.
Proceedings: IEEE Forum on Research and ... Proceedings: IEEE Forum on Research and Technology Advances in Digital Libraries, May 19-21, 1999, Baltimore, MD - Institute of Electrical and Electronics Engineers, Inc.
System Synthesis (Isss 98) 11th Internat... System Synthesis (Isss 98) 11th International Symposium - Institute of Electrical and Electronics Engineers, Inc.
Proceedings of the Hpcmp Users Group Con... Proceedings of the Hpcmp Users Group Conference 2007: June 18-21, 2007, Pittsburgh, Pennsylvania, USA - Institute of Electrical and Electronics Engineers, Inc.
IEEE International Conference on Sensor ... IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing: Proceedings: June 5-7, 2006, Taichung, Taiwan - Institute of Electrical and Electronics Engineers, Inc.
Dependagle Computing; Proceedings: Pacif... Dependagle Computing; Proceedings: Pacific Rim International Symposium on Dependable Computing (15th: 2009: Shanghai, China) - Institute of Electrical and Electronics Engineers, Inc.
Proceedings Of The 2001 Ieee Radar Confe... Proceedings Of The 2001 Ieee Radar Conference: May 1 3, 2001, Westin Atlanta North Hotel, Atlanta, Georgia - Institute of Electrical and Electronics Engineers, Inc.
1997 IEEE Cement Industry Technical Conf... 1997 IEEE Cement Industry Technical Conference Record XXXVIIII - Institute of Electrical and Electronics Engineers, Inc.
Share this Book
Copyright © 2025 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.