Certified Programs and Proofs
Jean-Pierre Jouannaud, Zhong Shao
Certified Programs and Proofs - New York Springer US 2011 - Lecture Notes in Computer Science .
978-3-642-25379-9
Computer Science
Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Symbolic and Algebraic Manipulation; Software Engineering; Artificial Intelligence (incl. Robotics)
Certified Programs and Proofs - New York Springer US 2011 - Lecture Notes in Computer Science .
978-3-642-25379-9
Computer Science
Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Symbolic and Algebraic Manipulation; Software Engineering; Artificial Intelligence (incl. Robotics)