封面圖片

Principles of model checking

書目詳細資料
主要作者: Baier, Christel
其他作者: Katoen, Joost-Pieter
格式: 圖書
語言:英语
出版: Cambridge, Mass. MIT Press [2008?]
主題:
Computer systems > Verification.
Computer software > Verification.
在線閱讀:Table of contents only