Overview
Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (17 papers)
-
Evolutionary Methods in Design
-
Generative and Search Methods in Design
-
Performance Evaluation Methods in Design
-
Formal Support Methods in Design
-
Design Process Methods
Editors and Affiliations
Bibliographic Information
Book Title: Advances in Formal Design Methods for CAD
Book Subtitle: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995
Editors: John S. Gero, Fay Sudweeks
Series Title: IFIP Advances in Information and Communication Technology
DOI: https://doi.org/10.1007/978-0-387-34925-1
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: IFIP International Federation for Information Processing 1996
Hardcover ISBN: 978-0-412-72710-8Published: 29 February 1996
Softcover ISBN: 978-1-4757-4428-6Published: 17 January 2013
eBook ISBN: 978-0-387-34925-1Published: 09 March 2013
Series ISSN: 1868-4238
Series E-ISSN: 1868-422X
Edition Number: 1
Number of Pages: X, 300
Topics: Computer-Aided Engineering (CAD, CAE) and Design, Mechanical Engineering, Artificial Intelligence, Engineering Design