Výsledky vyhledávání

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

    Formal software development from VDM to Java / Autor Charatan, Quentin

    Vydáno 2004
    An electronic book accessible through the World Wide Web; click to view
    Elektronický zdroj E-kniha
  3. 3
  4. 4

    Verification techniques for system-level design Autor Fujita, Masahiro, 1956-

    Vydáno 2008
    An electronic book accessible through the World Wide Web; click to view
    Elektronický zdroj E-kniha
  5. 5

    Software specification methods

    Vydáno 2006
    An electronic book accessible through the World Wide Web; click to view
    Elektronický zdroj E-kniha
  6. 6

    Teamwork in multi-agent systems a formal approach / Autor Dunin-Kȩplicz, Barbara

    Vydáno 2010
    An electronic book accessible through the World Wide Web; click to view
    Elektronický zdroj E-kniha
  7. 7

    Computers in language research

    Vydáno 1983
    An electronic book accessible through the World Wide Web; click to view
    Elektronický zdroj E-kniha
  8. 8

    Communicating embedded systems software and design : formal methods /

    Vydáno 2010
    An electronic book accessible through the World Wide Web; click to view
    Elektronický zdroj E-kniha
  9. 9

    Formal method industrial use from model to the code /

    Vydáno 2012
    An electronic book accessible through the World Wide Web; click to view
    Elektronický zdroj E-kniha
  10. 10
  11. 11

    Principles of cyber-physical systems / Autor Alur, Rajeev, 1966-

    Vydáno 2015
    An electronic book accessible through the World Wide Web; click to view
    Elektronický zdroj E-kniha