載入...

Principles of model checking /

書目詳細資料
主要作者: Baier, Christel
其他作者: Katoen, Joost-Pieter
格式: 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.html

DCS

持有資料詳情 DCS
索引號: 51 BAI
復印件 Live Status Unavailable