An introduction to the PL/CV2 programming logic

Author(s)

• Constable, R. L. (Robert L.)
• Johnson, Scott D.
• Eichenlaub, C. D.

Bibliographic Information

An introduction to the PL/CV2 programming logic

R.L. Constable, S.D. Johnson, C.D. Eichenlaub

（Lecture notes in computer science, 135）

Springer-Verlag, 1982

• : gw
• : us

Note

Includes bibliographies and index

Description and Table of Contents

Table of Contents

The language.- Logical syntax.- The logic.- Proof rules.- Programming.- Rules for program statements.- Procedures.- Procedure rules.- Functions.- Function Rules.

by "Nielsen BookData"

• NCID: BA03671210
• ISBN:
  • 3540114920
  • 0387114920
• LCCN: 82184717
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: x, 292 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.73.P252
  • DC19 : 001.64/24
• Subject Headings:
  • LCSH : PL/CV (Computer program language)
  • LCSH : Computer programs -- Verification
• Parent Bibliography ID:
  • BA00009279