Mostrando 1 - 9 Resultados de 9 Para Buscar 'Manna, Zohar', tiempo de consulta: 0.04s Limitar resultados
  1. 1
    The logical basis for computer programming
    por Manna, Zohar
    Publicado 1985
    Otros Autores: “…Manna, Zohar…”
    Universidad Pontificia de Salamanca (Otras Fuentes: Biblioteca Universidad de Deusto)
    Libro
  2. 2
    Temporal verification of reactive systems : safety
    por Manna, Zohar
    Publicado 1995
    Otros Autores: “…Manna, Zohar…”
    Libro
  3. 3
    The Temporal logic of reactive and concurrent systems
    por Manna, Zohar
    Publicado 1992
    Otros Autores: “…Manna, Zohar…”
    Libro
  4. 4
    Studies in automatic programming logic
    por Manna, Zohar
    Publicado 1977
    Otros Autores: “…Manna, Zohar…”
    Libro
  5. 5
    Logical basis for computer programming
    por Manna, Zohar
    Publicado 1990
    Otros Autores: “…Manna, Zohar…”
    Libro
  6. 6
    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
  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 Universidad de Navarra)
    Libro
  8. 8
    The Logical basis for computer programming
    por Manna, Zohar
    Publicado 1985
    Otros Autores: “…Manna, Zohar…”
    Libro
  9. 9
    Calculus of computation : decision procedures with applications to verification
    por Bradley, Aaron R.
    Publicado 2007
    Otros Autores: “…Manna, Zohar…”
    Libro
Herramientas de búsqueda: RSS – Enviar por Correo electrónico esta Búsqueda