Programs, recursion, and unbounded choice
Subtitle: predicate-transformation semantics and transformation rules
By: Wim H. Hesselink.
Series: Cambridge tracts in theoretical computer science ;; 27
Publisher: Cambridge University Press
Published: 1992
Place of publication: Cambridge; New York, NY, USA
Language: eng
Number of pages: 223
Subjects: Computer programming.
Notes: Includes bibliographical references (p. [217]-220) and index.