Hawblitzel, Chris.Miller, Dale. (Eds.) () Certified Programs and ProofsSecond International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. ProceedingsMLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings /
edited by Chris Hawblitzel, Dale Miller.
|Names:||Hawblitzel, Chris. | Miller, Dale.|
|Published:||Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.|
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).|