Logic and Program Semantics

R. L. Constable

Page count unavailable

Twitter Facebook WhatsApp

Logic and Program Semantics

by R. L. Constable

Published

2012

Publisher

Springer Berlin Heidelberg

ISBN-13

9783642294853

Subjects

Mathematical Logic and Formal Languages Programming Techniques Software engineering Algorithm Analysis and Problem Complexity Logic design Logics and Meanings of Programs Computer science Programming Languages, Compilers, Interpreters Computer software

View on Open Library →

You May Also Like

Reachability Problems

Reachability Problems

Artificial general intelligence

Artificial general intelligence

Logical Foundations of Computer Science

Logical Foundations of Computer Science

Grammatical Inference

Grammatical Inference

Language and Automata Theory and Applications

Language and Automata Theory and Applications

Logica Universalis

Logica Universalis

Frequently Asked Questions

Who is the author of Logic and Program Semantics?

Logic and Program Semantics was written by R. L. Constable.

When was Logic and Program Semantics published?

The publication date for this specific edition is 2012. The original work may have been published on a different date.