Program Logics for Certified Compilers

Program Logics for Certified Compilers

Program Logics for Certified Compilers

Proof and Disproof in Formal Logic An Introduction for Programmers

Practical Formal Software Engineering: Wanting the

Modern Compiler Implementation in C

Modern Compiler Implementation in C

Synthese Library Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic Book 4 (Hardcover)

Modern Compiler Implementation in C

Modern Compiler Implementation in Ml

Modern Compiler Implementation in Ml

Concise Guide to Software Verification: From Model Checking to Annotation Checking

Advanced Topics in Types and Programming Languages (Paperback)

An Introduction to Formal Languages and Automata (Paperback)

Sixth IEEE International Conference on Software Engineering and Formal Methods (Sefm 2008)

Formal Approaches to Computing and Infor Notations for Software Design (Paperback)

Formal Verification of Object-Oriented Software - by Bernhard Beckert & Claude Marché (Paperback)

Pre-Owned Lecture Notes in Computer Science: Compiler Construction: 8th International Conference Cc 99 Held as Part of the Joint European Conferences on Theory and Practice of Software Etaps 99 Amsterdam t

Lecture Notes in Computer Science Formal Methods in Programming and Their Applications: International Conference Academgorodok Novosibirsk Russia June Book 735 (Paperback)

The World of Compiler (Paperback)

Compiler Construction: 16th International Conference CC 2007 Held as Part of the Joint European Conferences on Theory (Paperback)

Pre-Owned Lecture Notes in Computer Science: Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium Kgc 97 Vienna Austria August 25-29 1997 Proceedings (Paperback)

Logic Language Information and Computation (Paperback)

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer C (Paperback)

An Introduction to Formal Logic

Pre-Owned Lecture Notes in Computer Science: Verification Model Checking and Abstract Interpretation: 5th International Conference Vmcai 2004 Venice January 11-13 2004 Proceedings (Paperback)

Formal Approaches to Computing and Infor Software Specification Methods: An Overview Using a Case Study (Paperback)

Formal Languages

Writing Compilers and Interpreters: A Software Engineering Approach

Fifth IEEE International Conference on Software Engineering and Formal Methods (Sefm 2007)