Výsledky vyhledávání - Nipkow, Tobias, 1958-

  • Zobrazuji výsledky 1 - 2 z 2
Upřesnit hledání
  1. 1

    Formal logical methods for system security and correctness

    Vydáno 2008
    Další autoři: “…Nipkow, Tobias, 1958-…”
    An electronic book accessible through the World Wide Web; click to view
    Elektronický zdroj Konferenční příspěvek E-kniha
  2. 2

    Software safety and security tools for analysis and verification /

    Vydáno 2012
    Další autoři: “…Nipkow, Tobias, 1958-…”
    An electronic book accessible through the World Wide Web; click to view
    Elektronický zdroj Konferenční příspěvek E-kniha

Vyhledávací nástroje: