咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >Formal Methods for Embedded Di... 收藏

Formal Methods for Embedded Distributed Systems : How to Master the Complexity

丛 书 名:International Series in Engineering and Computer Science

版本说明:1

作     者:Kordon Fabrice. Lemoine Michel 

I S B N:(纸本) 1402079966;1402079974 

出 版 社:Springer Science & Business Media 

出 版 年:2004年

学科分类:08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术(可授工学、理学学位)] 

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分