1/1

Certified Programs and Proofs

Autor/Editor: Hawblitzel, Chris - Miller, Dale

Año de edición: 2012

Acceso: UBA

URL: http://dx.doi.org/10.1007/978-3-642-35308-6

Idioma: inglés

Colección: Computación

Keywords: Logics and Meanings of Programs - Mathematical Logic and Formal Languages - Programming Languages - Compilers - Interpreters - Symbolic and Algebraic Manipulation - Software Engineering - Artificial Intelligence (incl. Robotics)

Título de la Serie: Lecture Notes in Computer Science

Vol.No.: 7679

Tipo de documento: Reunión

Editor: Springer Berlin Heidelberg

ISBN-e: 978-3-642-35308-6

ISSN-e: 1611-3349

Buscar Por: