ロード中...
Principles of model checking /
| 第一著者: | |
|---|---|
| その他の著者: | |
| フォーマット: | Printed Book |
| 言語: | English |
| 出版事項: |
Cambridge, Mass. :
The MIT Press,
[2012
|
| 主題: | |
| オンライン･アクセス: | http://www.loc.gov/catdir/toc/ecip0727/2007037603.html |
インターネット
http://www.loc.gov/catdir/toc/ecip0727/2007037603.htmlDCS
| 請求記号: |
51 BAI |
|---|---|
| 所蔵 | ステータス情報は利用できません |