検索結果 - "Computer systems Verification"

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

    Principles of model checking 著者: Baier, Christel

    出版事項 2008
    主題: “…Computer systems Verification.…”
    An electronic book accessible through the World Wide Web; click to view
    電子媒体 eBook
  2. 2

    Engineering dependable software systems /

    出版事項 2013
    主題: “…Computer systems Verification Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    電子媒体 会議録 eBook
  3. 3

    Dependable software systems engineering /

    出版事項 2015
    主題: “…Computer systems Verification Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    電子媒体 eBook