Programs, Recursion and Unbounded Choice
Autor:
Wim H. Hesselink
Dostępność:
50 % szansa
Przeszukamy cały świat
298.44
zł
A complete account of the predicate transformation calculus semantics of sequential programs.
