Free delivery for orders over 69.99 euro.
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Free delivery for purchases over 69.99 €
DPD courier 5.99 €
Bpost point 7.99 €
Bpost 7.49 €
DPD point 3.49 €
GLS courier 4.49 €
Contact
How to shop
Help
Delivery
DPD courier 5.99 €
Bpost point 7.99 €
Bpost 7.49 €
DPD point 3.49 €
GLS courier 4.49 €
Free delivery for purchases over 69.99 €
Shopping guide
My account
▸
Empty :-(
0
Free delivery for orders over 69.99 euro.
Programs, Recursion and Unbounded Choice
Language
English
English
Book
Hardback
A complete account of the predicate transformation calculus semantics of sequential programs.
Libristo code: 08033493
?
175 b
175 b
72.44
€
50 % chance
We search the world
When will I receive my book?
30-day return policy
Customers also purchased
A complete account of the predicate transformation calculus semantics of sequential programs.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Programs, Recursion and Unbounded Choice
Author
Wim H. Hesselink
Language
English
English
Binding
Book - Hardback
Date of issue
1992
Number of pages
235
EAN
9780521404365
ISBN
9780521404365
Libristo code
08033493
Publishers
Cambridge University Press
Weight
578
Dimensions
179 x 256 x 16
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
19.29
€
/
Paperback
31.62
€
/
Paperback
54.76
€
