Mostrando 1 - 8 Resultados de 8 Para Buscar 'Manna, Zohar', tiempo de consulta: 0.01s Limitar resultados
  1. 1
    The Deductive foundations of computer programming
    por Manna, Zohar
    Publicado 1993
    Otros Autores: “…Manna, Zohar…”
    Biblioteca Universitat Ramon Llull (Otras Fuentes: Biblioteca Universidad de Deusto)
    Libro
  2. 2
    The Logical basis for computer programming
    por Manna, Zohar
    Publicado 1985
    Otros Autores: “…Manna, Zohar…”
    Biblioteca Universitat Ramon Llull (Otras Fuentes: Biblioteca Universidad de Deusto)
    Libro
  3. 3
    Temporal verification of reactive systems : safety
    por Manna, Zohar
    Publicado 1995
    Otros Autores: “…Manna, Zohar…”
    Libro
  4. 4
    The Temporal logic of reactive and concurrent systems
    por Manna, Zohar
    Publicado 1992
    Otros Autores: “…Manna, Zohar…”
    Libro
  5. 5
    Studies in automatic programming logic
    por Manna, Zohar
    Publicado 1977
    Otros Autores: “…Manna, Zohar…”
    Libro
  6. 6
    The logical basis for computer programming
    por Manna, Zohar
    Publicado 1985
    Otros Autores: “…Manna, Zohar…”
    Biblioteca de la Universidad Pontificia de Salamanca (Otras Fuentes: Biblioteca Universidad de Deusto)
    Libro
  7. 7
    Mathematical theory of computation
    por Manna, Zohar
    Publicado 1974
    Otros Autores: “…Manna, Zohar…”
    Biblioteca Universidad de Deusto (Otras Fuentes: Biblioteca Universitat Ramon Llull, Biblioteca de la Universidad de Navarra)
    Libro
  8. 8
    Calculus of computation : decision procedures with applications to verification
    por Bradley, Aaron R.
    Publicado 2007
    Otros Autores:
    Libro

Herramientas de búsqueda: