Zohar Manna
Mathematical Theory of Computation
- ISBN 13:
- 9780486432380
- author:
- Zohar Manna
- format:
- Paperback
- publisher:
- Dover Publications
- language:
- English
- Publication Year:
- 2003
- Pages:
- 464
- Dimensions:
- 140 mm X 213 mm
- Genre:
- Mathematics Textbook
- Condition:
- New
- Availability:
- Item usually sent within 7 working days
Description
The art of verifying computer programs has long been an essential aspect of software development. This comprehensive volume addresses both practical and theoretical aspects of debugging, making it a valuable resource for graduate and advanced undergraduate students of computer science.
Topics covered include computability, predicate calculus, program verification, flowchart schemas, and the fixpoint theory of programs. The author's approach is self-contained, with each chapter concluding with bibliographic remarks, references, and problems to aid in understanding and further study.
With its clear explanations and detailed discussions, this book provides a solid foundation for those seeking to understand the theoretical underpinnings of computer programming and verification.
Related Products
Related Products
Mathematics and Computation: A Theory Revolutionizing Technology and Science
Wigderson, Avi
The Mathematical Theory of Communication
Shannon, C.E.
The Mathematical Theory of Communication
Shannon, C.E.
The Beauty of Mathematics in Computer Science
Wu, Jun
Discrete Mathematics and Graph Theory: A Concise Study Companion and Guide (Undergraduate Topics in Computer Science)
Erciyes, K.