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
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Use in library | PRIN 685 1972 .604 | Off-site |
Details
- Description
- 1 v.
- Subjects
- Thesis (note)
- Thesis (Ph.D.)--Princeton University, 1972.
- Owning Institutions
- Princeton University Library