Research Catalog

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

Title
Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules / Wim H. Hesselink.
Author
Hesselink, Wim H.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
Not available - Please for assistance.
TextUse in library QA76.9.M35 H477 1992Off-site

Details

Additional Authors
Hesselink, Wim H.
Description
xii, 223 p.; 25 cm.
Subject
  • Computer programs > Mathematics
  • Logic, Symbolic and mathematical
  • Recursion theory
ISBN
0521404363
Owning Institutions
Princeton University Library