<<< 1/1 >>>

Numerical Software Verification. 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Autor/Editor: Bogomolov, Sergiy - Martel, Matthieu - Prabhakar, Pavithra
Año de edición: 2017
Acceso: UBA
URL: http://dx.doi.org/10.1007/978-3-319-54292-8
Idioma: inglés
Colección: Computación
Keywords: Logics and Meanings of Programs - Software Engineering - Computer Communication Networks - Mathematical Logic and Formal Languages - Information Systems Applications (incl.Internet) - Artificial Intelligence (incl. Robotics)
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 10152
Tipo de documento: Monografía
Edición: 1st ed. 2017
Editor: Springer International Publishing
ISBN-e: 978-3-319-54292-8
ISSN-e: 1611-3349