4132204
9780521017756
This title reviews the state-of-the-art in formal design synthesis methods. It also explores several representative projects in formal design synthesis and examines future directions in computational design synthesis research.Antonsson, Erik K. is the author of 'Formal Engineering Design Synthesis' with ISBN 9780521017756 and ISBN 0521017750.
[read more]