Providing a thorough, well-written and thoughtful study of the fundamental theoretical ideas of computing and examining how to design accurate and efficient algorithms, this book is ideal for an introductory course emphasizing theory rather than programming
About David Harel
David Harel is a professor and chairman of the Applied Mathematics and Computer Science Department at the Weizmann Institute of Science and he is one of the founders of Ad-Cad, Inc. Renowned for outstanding research in several areas of computer science, Dr. Harel is ideally qualified to convey a thorough understanding of the science of computing to the inquiring reader.
0201504014AB04062001