Resultados de búsqueda

  • Mostrando 1 - 2 Resultados de 2
Limitar resultados
  1. 1

    The temporal logic of reactive and concurrent systems : specification por Manna, Zohar

    Nueva York : Springer-Verlag, 1991
    Consultar en el Cátalogo
    Libro
  2. 2

    The temporal logic of reactive and concurrent systems : specification por Manna, Zohar

    Nueva York : Springer-Verlag, 1991
    Consultar en el Cátalogo
    Libro

Herramientas de búsqueda: