詳細資訊
書名: | Model Checking 2/e | |||
作者: | CLARKE JR | |||
譯者: | ||||
版次: | 2 | |||
ISBN: | 9780262038836 | |||
出版社: | The MIT Press | |||
出版日期: | ||||
書籍開數、尺寸: | 23.6*18.5 | |||
重量: | 0.82 Kg | |||
頁數: | 424 | |||
#資訊
#軟體工程與專案管理 #計算機概論 |
詳細資訊