Skip recommendations
Mostrando 1 - 5 Resultados de 5 Para Buscar 'Nipkow, Tobias', 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
    Software safety and security : tools for analysis and verification /
    Publicado 2012
    Otros Autores: “…Nipkow, Tobias, 1958-…”
    Texto completo
    Electrónico Congresos, conferencias eBook
  3. 3
    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
  4. 4
    Formal logical methods for system security and correctness /
    Publicado 2008
    Otros Autores:
    Texto completo
    Electrónico Congresos, conferencias eBook
  5. 5
    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