Research Catalog

Problems of program validation in the context of the predicate calculus.

Title
Problems of program validation in the context of the predicate calculus.
Author
Lyons, Terry Gregory
Publication
1972.

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?
ManuscriptUse in library PRIN 685 1972 .604Off-site

Details

Description
1 v.
Subject
  • Predicate calculus
  • Algorithms
Thesis (note)
  • Thesis (Ph.D.)--Princeton University, 1972.
OCLC
SCSB-9250964
Owning Institutions
Princeton University Library