A connotational theory of program structure / James S. Royer.

Author/creator Royer, James S.
Format Book
Publication InfoBerlin ; New York : Springer-Verlag, ©1987.
Description186 pages : illustrations ; 25 cm.
Subjects

SeriesLecture notes in computer science ; 273
Lecture notes in computer science 273. ^A466336
General noteA revision of author's thesis (Ph. D.--State University of New York at Buffalo).
General noteIncludes indexes.
Bibliography noteBibliography: p. [176]-181.
LCCN 87023304
ISBN0387182535 (pbk. : U.S.)