1 book(s) in your shopping cart.

HESSELINK, WIM H., - Programs, Recursion and Unbounded Choice: Predicate-Transformation Semantics and Transformation Rules.

Cambridge, U.K., Cambridge University Press, 1992. 1st. Hardcover., Vg. Pages: 232.
USD 25.00 [Appr.: EURO 22.75 | £UK 19.25 | JP¥ 2748] Booknumber: MASTER035454I

Remove
Total: USD 25.00 [Appr.: EURO 22.75 | £UK 19.25 | JP¥ 2748]
 

is offered by:
Vintage Books
6613 E Mill Plain, Vancouver, Washinton, WA 98661, USA Tel.: +1 360 694 9519 | Fax: +1 360 694 7644
Email: books@vintage-books.com