Programs, Recursion and Unbounded Choice
Szerző:
Wim H. Hesselink
Elérhetőség:
50 % esély
Keressük az egész világon
26 868
Ft
A complete account of the predicate transformation calculus semantics of sequential programs.