1/1
Tests and Proofs
Autor/Editor: Veanes, Margus - Viganò, Luca
Año de edición: 2013
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Software Engineering - Programming Techniques - Logics and Meanings of Programs - Mathematical Logic and Formal Languages - Programming Languages - Compilers - Interpreters - Simulation and Modeling
Título de la Serie: Lecture Notes in Computer Science
Tipo de documento: Reunión
Editor: Springer Berlin Heidelberg
ISBN-e: 978-3-642-38916-0
ISSN-e: 1611-3349