Materias dentro de su búsqueda.
Mostrando 1 - 2 Resultados de 2 Para Buscar '', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    Model checking
    por Clarke, Edmund M.
    Publicado 1999
    Libro
  2. 2
    Temporal verification of reactive systems : safety
    por Manna, Zohar
    Publicado 1995
    Libro
Herramientas de búsqueda: RSS – Enviar por Correo electrónico esta Búsqueda