Skip recommendations
Mostrando 1 - 8 Resultados de 8 Para Buscar 'Nipkow, T.', tiempo de consulta: 0.02s Limitar resultados
Herramientas de búsqueda: Suscríbete a esta búsqueda
  1. 1
    Concrete Semantics With Isabelle/HOL /
    por Nipkow, Tobias , Klein, Gerwin
    Publicado 2014
    Texto Completo
    Electrónico eBook
  2. 2
    ¿Crecer sin Dios? : la experiencia de dios a lo largo de la vida /
    por Nipkow, Karl Ernst
    Publicado 2013
    Otros Autores:
    Texto completo
    Electrónico eBook
  3. 3
    Software Safety and Security.
    por Nipkow, T.
    Publicado 2012
    Texto completo
    Electrónico eBook
  4. 4
    Software safety and security : tools for analysis and verification /
    Publicado 2012
    Otros Autores: “…Nipkow, Tobias, 1958-…”
    Texto completo
    Electrónico Congresos, conferencias eBook
  5. 5
    Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings /
    Publicado 2009
    Otros Autores:
    Texto Completo
    Electrónico eBook
  6. 6
    Formal Logical Methods for System Security and Correctness.
    por Grumberg, O.
    Publicado 2008
    Otros Autores: “…Nipkow, T.…”
    Texto completo
    Electrónico eBook
  7. 7
    Formal logical methods for system security and correctness /
    Publicado 2008
    Otros Autores:
    Texto completo
    Electrónico Congresos, conferencias eBook
  8. 8
    FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /
    Publicado 2006
    Otros Autores:
    Texto Completo
    Electrónico eBook