A programming logic: with an introduction to the PL/CV verifier/
Main Author: | Constable, Robert L. |
---|---|
Other Authors: | O'Donnell, Michael J.,, Johnson, Scott D. |
Format: | Book |
Language: | English |
Published: |
Cambridge, Mass.:
Winthrop Publishers, Inc.,
c1978
|
Subjects: |
Similar Items
-
Introduction to PL/I programming and PL/C /
by: Bohl, Marilyn.
Published: (1973) -
Introduction to PL/I programming and PL/C/
by: Bohl, Marilyn
Published: (1973) -
Introduction to PL/I programming and PL/C/
by: Bohl, Marilyn
Published: (1973) -
Structured programming with PL/1 : an introduction /
by: Marcotty, Michael, 1931-
Published: (1977) -
Structured programming in PL/I and PL/C :a problem-solving approach /
by: Abel, Peter 1932-
Published: (1985)