Logic and Program Semantics

Materias

• 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

Ediciones (1)

• Logic and Program Semantics (2012)

  Springer Berlin Heidelberg · inglés · ISBN 9783642294853

Más obras de R. L. Constable

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

IImplementing mathematics with the Nuprl proof development sy

Implementing mathematics with the Nuprl proof development system

An introduction to the PL/CV2 programming logic