SPIN '17 : proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software : July 13-14, 2017, Santa Barbara, CA, USA

SPIN '17 proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software : July 13-14, 2017, Santa Barbara, CA, USA

Detalles Bibliográficos
Autores Corporativos: International SPIN Workshop (-), ACM Sigsoft, sponsoring body (sponsoring body)
Otros Autores: Erdogmus, Hakan, editor (editor), Havelund, Klaus, editor
Formato: Libro electrónico
Idioma:Inglés
Publicado: New York : ACM 2017.
Colección:ACM Conferences
Materias:
SPIN (Computer file) > Congresses.
Computer software > Verification > Congresses.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713611506719
Descripción
Notas:Includes index.
Descripción Física:1 online resource (199 pages)

Ejemplares similares