
Programs, Recursion and Unbounded Choice (English, Wim H. Hesselink | Hesselink Wim H. | C. J. Van Rijsbergen)
by Wim H. Hesselink | Hesselink Wim H. | C. J. Van Rijsbergen
Publisher: Cambridge University Press
Language: English
Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.
Available Offers
- 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Specifications
| Publisher | Cambridge University Press |
| Language | English |
| ISBN-13 | 9780521018296 |
| ISBN-10 | 0521018293 |
| Author | Wim H. Hesselink | Hesselink Wim H. | C. J. Van Rijsbergen |
Product Description
Here on GlowMirror, you'll find Programs, Recursion and Unbounded Choice filed under Cambridge University Press -- everything you need to know is covered below.
About the Book
Predicate transformation semantics is the best specification method for the development of correct and well-structured computer programs. This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction, and unbounded nondeterminacy. The author develops their theory to a greater depth than has been achieved before, and describes it in a…
ISBN: 9780521018296
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Programs, Recursion and Unbounded Choice
- ·Key concepts explained with clarity and practical examples
- ·Insights valuable for anyone studying or working in Cambridge University Press
Who Should Read This
Students and professionals interested in Cambridge University Press, as well as general readers looking to expand their knowledge.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy





