Location & Availability for: Certified Programs and Proofs : Second I

 Staff view

You must be logged in to Tag Records

Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings /

edited by Chris Hawblitzel, Dale Miller.

Book Cover
Names: Hawblitzel, Chris. | Miller, Dale.
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Series: Lecture Notes in Computer Science, 7679
Topics: Computer science. | Software engineering. | Logic design. | Algebra - Data processing. | Artificial intelligence. | 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).
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Certified Programs and Proofs : Second I