About this book
Keywords
algorithms artificial intelligence automata calculus complexity complexity theory computer computer science formal specification mathematics for computer scientists programming programming language robotics statistics verification
Editors and affiliations
- 1.Computer Science DepartmentCarnegie-Mellon UniversityPittsburghUSA
Bibliographic information