Title:
A program verifier
Author:
King, James Cornelius.
Publication Information:
n:p. : n.p., 1969.
Physical Description:
iv, 255 s.
General Note:
Thesis-Carnegie-Mellon University.
Subject Term:
Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | Book | 7.2/12/574601 | QA 76.5 K49 1969 | Searching... | Searching... |