4015999
9780521018296
Programs, Recursion and Unbounded Choice
by Hesselink, Wim H., van Rijsbergen, C. J., Abramsky, S.
31245
List Price
Discount
2% Off
You Save
$1.22
About this item
- Condition: New
- Provider: LightningBooks Contact
- Provider Rating: 85%
- Ships From: Multiple Locations
- Shipping: Standard, Expedited (tracking available)
- Comments: Fast shipping! All orders include delivery confirmation.
Product details
- ISBN-13: 9780521018296
- ISBN: 0521018293
- Publisher: Cambridge University Press
AUTHOR
SUMMARY
Predicate transformation semantics are 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, developed by the author to a greater depth than has been achieved before.Hesselink, Wim H. is the author of 'Programs, Recursion and Unbounded Choice' with ISBN 9780521018296 and ISBN 0521018293.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
