Biblioteca da Universidade do Minho

Your cart is empty.
Hesselink,, Win H. Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules / Win H. Hesselink

Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules / Win H. Hesselink . - Cambridge : Cambridge University Press, 1992 . - XII, 223 p. 26 cm . - (Cambridge tracts in theoretical computer science; 27))
0-521-40436-3 (Encadernado)

519.6