1/1
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
Autor/Editor: Margaria, Tiziana - Steffen, Bernhard
Año de edición: 2012
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Software Engineering - Programming Languages - Compilers - Interpreters - Operating Systems - Computation by Abstract Devices - Logics and Meanings of Programs - Artificial Intelligence (incl. Robotics)
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 7610
Tipo de documento: Reunión
Editor: Springer Berlin Heidelberg
ISBN-e: 978-3-642-34032-1
ISSN-e: 1611-3349