登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
Verification and Validation of Real-Time Software
EISBN：
9783642702242
PISBN：
9783540151029
出版社：
Springer Berlin Heidelberg
出版类型：
Manual
出版时间：
1985
版次：
1985
作者：
William J. Quirk
主题词：
Computer Science,Software Engineering,Special Purpose and Application-Based Systems
语种：
英语
所属数据库：
SpringerLink电子图书(1815-2004)
1浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
Verification and Validation of Real-Time Software
作者：
William J. Quirk
EISBN：
9783642702242
出版社：
Springer Berlin Heidelberg
出版时间：
1985
Specification and Compositional Verification of Real-Time Systems
作者：
Jozef Hooman
EISBN：
9783540466024
出版社：
Springer Berlin Heidelberg
出版时间：
1991
Specification and Compositional Verification of Real-Time Systems
作者：
Jozef Hooman
EISBN：
9783540466024
出版社：
Springer Berlin Heidelberg
出版时间：
1991
Compositional Verification of Concurrent and Real-Time Systems
作者：
Eric Y.T. Juan,Jeffrey J.P. Tsai
EISBN：
9781461510093
出版社：
Springer US
出版时间：
2002
Compositional Verification of Concurrent and Real-Time Systems
作者：
Eric Y. T. Juan,Jeffrey J. P. Tsai
EISBN：
9781461510093
出版社：
Springer US
出版时间：
2002
Introduction to Real-time Software Design
作者：
S. T. Allworth,R.N. Zobel
EISBN：
9781349188215
出版社：
Macmillan Education UK
出版时间：
1987
×
订购单位
×
电子书下载
将全部文件下载下来，放在一个目录中，右键点击后缀名为.zip的文件，用 winrar 、360压缩等压缩软件解压，就都能解压出来了。
问图书管理员
馆际互借
查看订购单位