Programs, Recursion and Unbounded Choice
Wim H. Hesselink
Cambridge University Press, 2005
77,25 €On orderDelivery: 2-3 weeks
A complete account of the predicate transformation calculus semantics of sequential programs.
- ISBN-13
- 9780521018296
- ISBN-10
- 0521018293
- Publisher
- Cambridge University Press
- Year
- 2005
- Publication date
- 2005-08-22
- Pages
- 240
- Dimensions
- 245x170x12
- Weight
- 385