1/1
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016. Proceedings, Part I
Autor/Editor: Margaria, Tiziana - Steffen, Bernhard
Año de edición: 2016
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Software Engineering - Logics and Meanings of Programs - Programming Languages - Compilers - Interpreters - Computation by Abstract Devices - Mathematical Logic and Formal Languages - Artificial Intelligence (incl. Robotics)
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 9952
Tipo de documento: Reunión
Edición: 1st ed.
Editor: Springer International Publishing
ISBN-e: 978-3-319-47166-2
ISSN-e: 1611-3349