咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >Formal Methods and Hybrid Real... 收藏
分享

Formal Methods and Hybrid Real-Time Systems

丛 书 名：Lecture Notes in Computer Science

版本说明：2007

作     者：Cliff B. Jones Zhiming Liu Jim Woodcock 

I S B N：(纸本) 9783540752202 

出 版 社：Springer Berlin Heidelberg 

出 版 年：2007年

页      数：xvi, 538 p. :页

主 题 词：Formal methods (Computer science) Congresses. Real-time data processing Congresses. 

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

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

学校读者
用户名:未登录
我的评分