1/1
Numerical Software Verification. 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Autor/Editor: Abate, Alessandro - Boldo, Sylvie
Año de edición: 2017
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Logics and Meanings of Programs - Software Engineering - Algorithm Analysis and Problem Complexity - Mathematical Logic and Formal Languages - Simulation and Modeling
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 10381
Tipo de documento: Reunión
Edición: 1st ed. 2017
Editor: Springer International Publishing
ISBN-e: 978-3-319-63501-9
ISSN-e: 1611-3349