R. L. Constable

Identifiers

Open LibraryOL1317600A

Top Subjects

PL/CV (Computer program language) (2)
Logic, Symbolic and mathematical (1)
Computer programs -- Testing (1)
Computer programs -- Verification. (1)
Programming Languages, Compilers, Interpreters (1)
Logics and Meanings of Programs (1)
Computer science (1)

Books by R. L. Constable

Total count: 4

A programming logicwith an introduction to the PL/CV verifier

Winthrop Publishers1978-01-01
An introduction to the PL/CV2 programming logic

Springer-Verlag1982-01-01
An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science)

Springer1982-05-24
Logic and Program SemanticsEssays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

Springer Berlin Heidelberg2012-01-01