検索結果

  • 検索結果 1 - 11 結果 / 11
結果の絞り込み
  1. 1
  2. 2

    Formal software development from VDM to Java / 著者: Charatan, Quentin

    出版事項 2004
    An electronic book accessible through the World Wide Web; click to view
    電子媒体 eBook
  3. 3
  4. 4

    Verification techniques for system-level design 著者: Fujita, Masahiro, 1956-

    出版事項 2008
    An electronic book accessible through the World Wide Web; click to view
    電子媒体 eBook
  5. 5

    Software specification methods

    出版事項 2006
    An electronic book accessible through the World Wide Web; click to view
    電子媒体 eBook
  6. 6

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

    出版事項 2010
    An electronic book accessible through the World Wide Web; click to view
    電子媒体 eBook
  7. 7

    Computers in language research

    出版事項 1983
    An electronic book accessible through the World Wide Web; click to view
    電子媒体 eBook
  8. 8

    Communicating embedded systems software and design : formal methods /

    出版事項 2010
    An electronic book accessible through the World Wide Web; click to view
    電子媒体 eBook
  9. 9

    Formal method industrial use from model to the code /

    出版事項 2012
    An electronic book accessible through the World Wide Web; click to view
    電子媒体 eBook
  10. 10
  11. 11

    Principles of cyber-physical systems / 著者: Alur, Rajeev, 1966-

    出版事項 2015
    An electronic book accessible through the World Wide Web; click to view
    電子媒体 eBook