<<< 1/1 >>>

Handbook of Model Checking

Autor/Editor: Clarke, Edmund M. - Henzinger, Thomas A. - Veith, Helmut - Bloem, Roderick
Año de edición: 2018
Acceso: UBA
URL: http://doi.org/10.1007/978-3-319-10575-8
Idioma: inglés
Colección: Computación
Keywords: Computer Science - Theory of Computation - Software Engineering/Programming and Operating Sys - Mathematical Logic and Foundations - Mathematics of Computing - Performance and Reliability - Quality Control - Reliability - Safety and Risk
Tipo de documento: Monografía
Edición: 1st ed.
Editor: Springer International Publishing
ISBN-e: 978-3-319-10575-8