Resultados de búsqueda - Manna, Zohar

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

    Temporal verification of reactive systems : safety por Manna, Zohar

    Nueva York : [S.n.], 1995
    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
  3. 3

    The logical basis for computer programming por Manna, Zohar

    Reading : [S.n.], c1985-1990
    Consultar en el Cátalogo
    Libro
  4. 4

    Temporal verification of reactive systems : safety por Manna, Zohar

    Nueva York : [S.n.], 1995
    Consultar en el Cátalogo
    Libro
  5. 5

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

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

    The logical basis for computer programming por Manna, Zohar

    Reading : [S.n.], c1985-1990
    Consultar en el Cátalogo
    Libro

Herramientas de búsqueda: