Tobias Nipkow

Tobias Nipkow (born 1958) is a German computer scientist. Provided by Wikipedia
Showing 1 - 2 results of 2 for search 'Nipkow, Tobias', query time: 0.01s Refine Results
  1. 1
    Concrete Semantics With Isabelle/HOL /
    by Nipkow, Tobias, Klein, Gerwin
    Published in Springer eBooks (2014)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 2
    FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
    by Misra, Jayadev
    Published in Springer e-books (2006)
    Other Authors: “...Nipkow, Tobias...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed