1/1
NASA Formal Methods
Autor/Editor: Badger, Julia M. - Rozier, Kristin Yvonne
Año de edición: 2014
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Programming Techniques - Software Engineering/Programming and Operating Sys - Logics and Meanings of Programs - Operating Systems - Programming Languages - Compilers - Interpreters - Software Engineering
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 8430
Tipo de documento: Reunión
Editor: Springer
ISBN-e: 978-3-319-06200-6
ISSN-e: 1611-3349