Deutsch  Franšais  Nederlands 

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ą 2727] Book number MASTER035454I

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




  Order this book

Ask for information

Back to your search results