Formal Engineering Design Synthesis

In recent years highly automated design synthesis techniques have emerged demonstrating that aspects of design can be formalized. This intriguing book, with chapters by internationally renowned experts, reviews formal design synthesis methods, explores formal design synthesis, and examines future directions in computational design synthesis research.