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.
Publication
Cambridge, [England] : Cambridge University Press, 1992.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.9.M35 H477 1992gOff-site

Holdings

Details

Description
xii, 223 pages; 25 cm.
Series Statement
Cambridge tracts in theoretical computer science
Uniform Title
Cambridge tracts in theoretical computer science.
Subject
  • Computer programs > Mathematics
  • Recursion theory
  • Logic, Symbolic and mathematical
Bibliography (note)
  • Includes bibliographical references (p.[217]-220) and index.
ISBN
0521404363
OCLC
ocm26339539
Owning Institutions
Columbia University Libraries