Programs, Recursion and Unbounded Choice
Autor:
Wim H. Hesselink
Dostupnosť:
50 % šanca
Prehľadáme celý svet
70.27
€
A complete account of the predicate transformation calculus semantics of sequential programs.