Materias dentro de su búsqueda.
Mostrando 1 - 3 Resultados de 3 Para Buscar '', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    Model Checking Software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
    por International SPIN Workshop
    Publicado 2001
    Libro electrónico
  2. 2
    2014 International SPIN Symposium on Model Checking of Software (SPIN) : proceedings : July 21-23, 2014, San Jose, CA, USA
    por Rungta, Neha S. 1979-
    Publicado 2014
    Libro electrónico
  3. 3
    SPIN '17 : proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software : July 13-14, 2017, Santa Barbara, CA, USA
    Publicado 2017
    Libro electrónico

Herramientas de búsqueda: