Resultados de búsqueda - Goos, G.

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

    Verifying concurrent processes using temporal logic por Hailpern, Brent T.

    Berlín : Springer, 1982
    Otros autores o Colaboradores: “…Goos, G.…”
    Consultar en el Cátalogo
    Libro
  2. 2

    Verifying concurrent processes using temporal logic por Hailpern, Brent T.

    Berlín : Springer, 1982
    Otros autores o Colaboradores: “…Goos, G.…”
    Consultar en el Cátalogo
    Libro

Herramientas de búsqueda: