Normal view MARC view ISBD view

Constable, R. L.

An Introduction to the PL/CV2 Programming Logic [electronic resource] / by R. L. Constable, S. D. Johnson, C. D. Eichenlaub. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1982. - X, 293 p. online resource. - Lecture Notes in Computer Science, 135 0302-9743 ; . - Lecture Notes in Computer Science, 135 .

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

ISBN: 9783540391791

Standard No.: 10.1007/3-540-11492-0 doi

Subjects--Topical Terms:
Computer science.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Programming Techniques.

LC Class. No.: QA76.9.L63 QA76.5913 QA76.63

Dewey Class. No.: 005.1015113