Cambridge University Press
Programs, Recursion and Unbounded Choice (English, Wim H. Hesselink | Hesselink Wim H. | C. J. Van Rijsbergen)
₹5,568
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵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
Product Description
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 Specifications
| ISBN-13 | 9780521018296 |
| ISBN-10 | 0521018293 |
| Publisher | Cambridge University Press |
| Category | Cambridge University Press |
Frequently Asked Questions
What is the price of Programs, Recursion and Unbounded Choice?
Programs, Recursion and Unbounded Choice is available at ₹5,568 on BookShops.in.
Does BookShops.in offer free delivery for Programs, Recursion and Unbounded Choice?
FREE delivery on all orders for Programs, Recursion and Unbounded Choice.
Is Cash on Delivery available for Programs, Recursion and Unbounded Choice?
Yes, Cash on Delivery (COD) is available for Programs, Recursion and Unbounded Choice on BookShops.in. Pay when your order arrives.
What is the return policy for Programs, Recursion and Unbounded Choice?
BookShops.in offers a 15-day hassle-free return policy for Programs, Recursion and Unbounded Choice. Contact us at support@bookshops.in or call +91 95575 56855.
Is Programs, Recursion and Unbounded Choice authentic?
Programs, Recursion and Unbounded Choice is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Springer
Röntgendiagnostik Der Leber Und Der Gallenwege Teil 1 / Roentgen Diagnosis of the Liver and Biliary | by F. Heuck | Springer | by F. Heuck | Springer | by F. Heuck | Springer | by F. Heuck | Springer | by F. Heuck | Springer | by F. Heuck | Springer | by F. Heuck | Springer | by F. Heuck | Springer | by F. Heuck | Springer | by F. Heuck | Springer | by F. Heuck | Springer
₹3,508
Cambridge University Press
Preferential Trade Agreements: A Law and Economics Analysis | by Kyle W. Bagwell | Petros C. Mavroidis | Cambridge University Press | English | Illustrated Edition
₹5,315
Cambridge University Press
Transcribing the Sound of English: A Phonetics Workbook for Words and Discourse | by Paul Tench | Cambridge University Press | English
₹5,305
Cambridge University Press
The Emperor and the World: Exotic Elements and the Imaging of Middle Byzantine Imperial Power, Ninth to Thirteenth Centuries C.E. | by Alicia Walker | Cambridge University Press | English
₹4,266
University of Pittsburgh Press
Wit's End: Women's Humor As Rhetorical & Performative Strategy: 163 | by Sean Zwagerman | Univ of Pittsburgh Pr | English | 1st Edition
₹5,509
University of Pittsburgh Press
Garbage In The Cities: Refuse Reform and the Environment: 66 | by Martin Melosi | Univ of Pittsburgh Pr | English | Revised Edition
₹5,393
Related Products
View AllCambridge University Press
Preferential Trade Agreements: A Law and Economics Analysis | by Kyle W. Bagwell | Petros C. Mavroidis | Cambridge University Press | English | Illustrated Edition
₹5,315
Cambridge University Press
Transcribing the Sound of English: A Phonetics Workbook for Words and Discourse | by Paul Tench | Cambridge University Press | English
₹5,305
Cambridge University Press
The Emperor and the World: Exotic Elements and the Imaging of Middle Byzantine Imperial Power, Ninth to Thirteenth Centuries C.E. | by Alicia Walker | Cambridge University Press | English
₹4,266
Cambridge University Press
BLACK HOLES IN HIGHER DIMENSIONS | by Gary T. Horowitz | Cambridge University Press | English
₹5,487
Cambridge University Press
INTRODUCTION TO VASSILIEV KNOT INVARIANTS | by S. Chmutov | S. Duzhin | J. Mostovoy | Cambridge University Press | English
₹4,997
Cambridge University Press
Ofdma Mobile Broadband Communications | by Junyi Li | Xinzhou Wu | Rajiv Laroia | Cambridge University Press | English
₹5,068