Logic and Program SemanticsR. L. Constable

Logic and Program Semantics

R. L. Constable · 2012

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year: 2012
Language: English
Series: Lecture Notes in Computer Science -- 7230
Publisher: Springer Berlin Heidelberg
Editions: 1
ISBN: 9783642294853

Data source: Wikidata

More by R. L. Constable

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