1442121
9780521404365
Out of Stock
The item you're looking for is currently unavailable.
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 Predicate-Transformation Semantics and Transformation Rules' with ISBN 9780521404365 and ISBN 0521404363.
[read more]