An introduction to the PL/CV2 programming logic
By: R.L. Constable, S.D. Johnson, C.D. Eichenlaub.
Contributors: Johnson, Scott D.; Eichenlaub, C. D.
Series: Lecture notes in computer science ;; 135
Publisher: Springer-Verlag
Published: 1982
Place of publication: Berlin; New York
Language: eng
Number of pages: 292
Subjects: PL/CV (Computer program language); Computer programs -- Verification.
Notes: Includes bibliographies and index.