real time system Formal Specification and Automatic Verification

gaconht · 发表于 2010-12-14 13:41:33

您需要登录才可以下载或查看，没有账号？注册

x

Real-Time Systems.PDF (1.73 MB, 下载次数: 91 )

uqmeuqmeuqme · 发表于 2010-12-14 16:38:44

提示: 作者被禁止或删除内容自动屏蔽

zh123456789 · 发表于 2010-12-14 18:30:42

谢谢啊

iseesky · 发表于 2010-12-14 20:10:49

good!thanks!

alexpanait · 发表于 2010-12-15 00:40:10

cheer up, thx, thx.

chujn · 发表于 2010-12-15 08:55:21

下来看看，谢谢。

billwaston · 发表于 2010-12-15 09:09:02

谢谢分享

lujunfeng111 · 发表于 2010-12-25 19:40:01

这是一本书还是一篇技术文章？

日哦普尔 · 发表于 2010-12-26 11:52:07

谢谢LZ啊，LZ很给里。

lsfzhubo · 发表于 2012-6-21 16:37:07

建议楼主加入书中主要内容的解释，以便选择。
谢谢！

uqmeuqmeuqme uqmeuqmeuqme 当前离线积分 90 头像被屏蔽	发表于 2010-12-14 16:38:44 \| 显示全部楼层提示: 作者被禁止或删除内容自动屏蔽
uqmeuqmeuqme uqmeuqmeuqme 当前离线积分 90 头像被屏蔽	EETOP创芯人才网职位发布入口
	回复支持反对举报

[资料] real time system Formal Specification and Automatic Verification