R. L. Constable

R. L. Constable

2 books in the database

Books

Logic and Program SemanticsR. L. Constable

Logic and Program Semantics

R. L. Constable · 2012

An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science)R. L. Constable

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

R. L. Constable · 1982