【PDF】520 计算机科学技术 - 资源下载

编辑：

苹果的酸

2013-05-30

0 0

0 8

0 ) ,曹子宁 / / J o u r n a l o f Co mp u t e r S c i e n c e a n d T e c h n o l o g y . 一2004,l9(4).―'

4 5

9 ~

4 7 l 为了对实时传值系统模型检测,本文提出了一个形式语言. 实时符号迁移图和一个逻辑系统. 实时谓词演算. 本文提出了一个局部........

注：以上内容是本站开源项目的机器提供的预览内容，更完整和更好的阅读体验请直接免费下载资源后阅读

下载（注：源文件不在本站服务器，都将跳转到源网站下载）

最新资源

热点资源

大家都在看的话题

PDF《520 计算机科 学技术》