1/1
Computer Safety, Reliability, and Security. SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Autor/Editor: Skavhaug, Amund - Guiochet, Jérémie - Schoitsch, Erwin - Bitsch, Friedemann
Año de edición: 2016
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Logics and Meanings of Programs - Computation by Abstract Devices - Software Engineering - Computer Applications - Mathematical Logic and Formal Languages
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 9923
Tipo de documento: Reunión
Edición: 1st ed.
Editor: Springer International Publishing
ISBN-e: 978-3-319-45480-1
ISSN-e: 1611-3349