Skip recommendations
Mostrando 1 - 3 Resultados de 3 Para Buscar 'Fisher, Michael, 1962-', tiempo de consulta: 0.01s Limitar resultados
Herramientas de búsqueda: Suscríbete a esta búsqueda
  1. 1
    An introduction to practical formal methods using temporal logic /
    por Fisher, Michael, 1962-
    Publicado 2011
    Texto completo
    Texto completo
    Electrónico eBook
  2. 2
    An introduction to practical formal methods using temporal logic /
    por Fisher, Michael, 1962-
    Publicado 2011
    Texto completo (Requiere registro previo con correo institucional)
    Electrónico eBook
  3. 3
    Handbook of temporal reasoning in artificial intelligence /
    Publicado 2005
    Otros Autores: “…Fisher, Michael, 1962-…”
    Texto completo
    Texto completo
    Texto completo
    Electrónico eBook