<<< 1/1 >>>

Tools for Practical Software Verification

Autor/Editor: Meyer, Bertrand - Nordio, Martin
Año de edición: 2012
Acceso: UBA
URL: http://dx.doi.org/10.1007/978-3-642-35746-6
Idioma: inglés
Colección: Computación
Keywords: Software Engineering - Logics and Meanings of Programs - Programming Techniques - Programming Languages - Compilers - Interpreters - Mathematical Logic and Formal Languages - Management of Computing and Information Systems
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 7682
Tipo de documento: Reunión
Editor: Springer Berlin Heidelberg
ISBN-e: 978-3-642-35746-6
ISSN-e: 1611-3349