Skip recommendations
Mostrando 1 - 4 Resultados de 4 Para Buscar 'Clarke, Edmund M.', tiempo de consulta: 0.02s Limitar resultados
Herramientas de búsqueda: Suscríbete a esta búsqueda
  1. 1
    Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers /
    Publicado 2010
    Otros Autores: “…Clarke, Edmund M.…”
    Texto Completo
    Electrónico 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
    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
  4. 4
    Model checking /
    Texto completo
    Electrónico eBook