一、時間自動機及其驗證工具UPPAAL
- 列車運行控制系統(tǒng)安全性設(shè)計技術(shù)
- 馬連川
- 2724字
- 2019-10-24 11:31:57
上QQ閱讀APP看后續(xù)精彩內(nèi)容
登錄訂閱本章 >
推薦閱讀
- 基礎(chǔ)會計學習指導（第4版）
- 南海潮音：一個學者官員的村居調(diào)研手記
- 國際新聞報道雙語教程
- 數(shù)據(jù)庫技術(shù)及應(yīng)用
- 電影基礎(chǔ)史論與經(jīng)典案例導讀
- 周維權(quán)《中國古典園林史》（第3版）配套題庫【名校考研真題＋章節(jié)題庫＋模擬試題】
- 音樂數(shù)據(jù)分析
- 管理信息系統(tǒng)項目式案例教程
- 心理咨詢師（三級）歷年真題及詳解【2011.11~2017.05】
- C++語言從入門到精通（視頻實戰(zhàn)版）
- 大學體育與健康教程（第二版）
- 大學生必讀的100本書
- 數(shù)據(jù)處理與管理（Excel、Access及文獻檢索）
- 文化與社會通識教育（第二輯）
- 薛華成《管理信息系統(tǒng)》（第6版）筆記和課后習題（含典型題）詳解