Programs, Recursion and Unbounded Choice
Автор:
Wim H. Hesselink
Наличност:
50% вероятност
Ще претърсим света
73.67
€
144.08 лв
A complete account of the predicate transformation calculus semantics of sequential programs.
