Programs, Recursion and Unbounded Choice
Autor:
Wim H. Hesselink
Dostupnost:
50 % šance
Prohledáme celý svět
1 623
Kč
A complete account of the predicate transformation calculus semantics of sequential programs.