Misra, Jayadev
Effective Theories in Programming Practice
- ISBN 13:
- 9781450399715
- author:
- Misra, Jayadev
- format:
- Paperback
- publisher:
- Association of Computing Machinery,U.S.
- language:
- English
- Publication Year:
- 2022
- Pages:
- 562
- Dimensions:
- 22.9 x 15.2 centimetres (0.95 kg
- Genre:
- Computers, Programming, General,
- Condition:
- New
- Availability:
- Item usually sent within 10 working days
Description
Effective Theories in Programming Practice by Jayadev Misra provides a concise and precise introduction to fundamental algorithms and their correctness analysis. This self-contained textbook assumes only a background in high school mathematics and elementary program writing skills, making it accessible to students who want to succeed. The book builds on basic concepts of sets, functions, relations, logic, and proof techniques, introducing the necessary mathematical framework for reasoning about programs. It systematically develops various fundamental algorithms related to search, sorting, matching, graph-related problems, recursive programming methodology, and dynamic programming techniques. By using formalism properly, the author achieves clarity and simplicity in explanations, culminating in an exploration of parallel recursive structures. This comprehensive resource is ideal for computing professionals and students seeking a thorough understanding of essential algorithms.
Related Products
Related Products
Drawing Programs: The Theory and Practice of Schematic Functional Programming
Addis, Tom , Addis, Jan
The Human Effect in Medicine: Theory, Research and Practice
Gray, Denis Periera
Agile Modeling: Effective Practices for EXtreme Programming and the Unified Process
Ambler, Scott
Introduction to News Framing Effects Research: Theory and Practice
Lecheler, Sophie
Masterminds of Programming: Conversations with the Creators of Major Programming Languages: Inspiring Conversations with Creators of Major Programming Languages (Theory in Practice (O'Reilly))
Biancuzzi, Federico