Skip recommendations
Mostrando 1 - 3 Resultados de 3 Para Buscar 'Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020', tiempo de consulta: 0.02s Limitar resultados
Herramientas de búsqueda: Suscríbete a esta búsqueda
  1. 1
    Verification of infinite-state systems with applications to security /
    Publicado 2006
    Otros Autores: “…Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020…”
    Texto completo
    Electrónico Congresos, conferencias eBook
  2. 2
    Verification of infinite-state systems with applications to security /
    Publicado 2006
    Otros Autores: “…Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020…”
    Texto completo
    Electrónico Congresos, conferencias eBook
  3. 3
    Model checking /
    Texto completo
    Electrónico eBook