请叫我雷锋 发表于 2017-10-19 10:44:40

《Compositional Verification of Concurrent and Real-Time Systems》

《Compositional Verification of Concurrent and Real-Time Systems》
并发和实时系统的组合验证
作者：
Eric Y. T. Juan
Department of Information and Computer Engineering
Chung Yuan Christian University
Chung Li, Taiwan
Jeffrey J. P. Tsai
Department of Computer Science
University of Illinois at Chicago
Chicago, IL, U.S.A.
出版社：Springer
出版时间：2002年







专业书籍
下载地址：（回复后可见）
**** Hidden Message *****


璀璨星空 发表于 2017-10-22 17:07:41

谢谢。

御锋 发表于 2018-8-8 15:01:31

谢谢

o0o 发表于 2018-8-12 10:09:50

谢谢

mogudeng 发表于 2020-5-29 14:07:58

楼主好人，一生平安

帝皇 发表于 2021-12-15 14:00:49

非常感谢分享
页: [1]
查看完整版本: 《Compositional Verification of Concurrent and Real-Time Systems》