Programs, Recursion and Unbounded Choice
Изчерпано количество
Продуктът не е наличен
Запиши се за известие при зареждане
A complete account of the predicate transformation calculus semantics of sequential programs.
Информация за "Programs, Recursion and Unbounded Choice"
- SKU 9780521404365
- Weight 0.578000
- ISBN 9780521404365
- Вид корица Hardback
- Издателство Cambridge University Press
- Брой страници 235
The information below is required for social login