The logic and methodology of design is examined in this book from the perspective of computer science.