Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules /

Bibliographic Details
Main Author:	Hesselink, Wim H.
Format:	Book
Language:	English
Published:	Cambridge, [England] : Cambridge University Press, 1992.
Series:	Cambridge tracts in theoretical computer science ; 27.
Subjects:	Computer programs > Mathematics. Recursion theory. Logic, Symbolic and mathematical.

Remote Storage