Principles of model checking

Principles of model checking

書誌詳細
第一著者: Baier, Christel
その他の著者: Katoen, Joost-Pieter
フォーマット: 図書
言語:English
出版事項: Cambridge, Mass. MIT Press [2008?]
主題:
Computer systems > Verification.
Computer software > Verification.
オンライン･アクセス:Table of contents only