零度图书网
网站首页
港台图书
网络编程
文化
体育运动
文学
亲子家教
工业技术
休闲爱好
艺术
网站地图
验证、模型检验与抽象解读/Verification, model checking, and abstract interpretatio PDF图书下载
验证、模型检验与抽象解读/Verification, model checking, and abstract interpretatio PDF下载
图书名称:
验证、模型检验与抽象解读/Verification, model checking, and abstract interpretatio
出版时间:
2002-12
出版社:
湖南文艺出版社
图书作者:
Cortesi, Agostino
ISBN:
9783540436317
页数:
330
数据来源:
淘宝、当当、京东、亚马逊、豆瓣
下载链接:
PDF格式下载
购买链接:
去淘宝购买
去亚马逊购买
查看详细:
验证、模型检验与抽象解读/Verification, model checking, and abstract interpretatio
随机推荐
選一條快樂的路
我已做好準備
心想事成(修訂版)
生命的密碼,色彩知道
關係決定成敗
走出成長的迷思-回歸內在
改變一生的100個小習慣
Good好眼力《改變著眼點的聰明法則》
講理就好II:打開科學書
好簡單,好富足
積極,黃金人生的正確心態
自勵自助-打造絕對自信心
為什麼羊從樹上掉下來?快速記憶完全攻略
你想通了嗎?
揭開生命魔法密碼
我聰明,因為我做記憶訓練
大師不敢翹的課:聰明思考的十個邏輯
權力世界的叢林法則I
鑽石途徑III-探索真相的火焰
幸運絕非偶然
外国儿童文学,篆刻,百科,生物科学,科普,初中通用,育儿亲子,美容护肤PDF图书下载,。
零度图书网
零度图书网 @ 2024