Publisher's Synopsis
Textbook for upper division or first-year graduate students which covers synthesis, analysis and verification, knowledge-based techniques, and combinatorial complexity. Acidic paper. Annotation copyright Book News, Inc. Portland, Or.