登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
Specification and Analysis of Concurrent Systems
EISBN:
9783642773372
PISBN:
9783540552048
出版社:
Springer Berlin Heidelberg
出版类型:
Monograph
出版时间:
1992
版次:
1992
作者:
Ryszard Janicki,Peter E. Lauer
主题词:
Computer Science,Computation by Abstract Devices,Logics and Meanings of Programs,Programming Techniques,Software Engineering,Operating Systems,Computer Communication Networks
语种:
英语
所属数据库:
SpringerLink电子图书(1815-2004)
丛书题名:
Monographs in Theoretical Computer Science. An EATCS Series
1浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
Specification and Analysis of Concurrent Systems
作者:
Ryszard Janicki,Peter E. Lauer
EISBN:
9783642773372
出版社:
Springer Berlin Heidelberg
出版时间:
1992
Specification and Verification of Concurrent Systems
作者:
Charles Rattray
EISBN:
9781447135340
出版社:
Springer London
出版时间:
1990
Specification and Verification of Concurrent Systems
作者:
C. Rattray
EISBN:
9781447135340
出版社:
Springer London
出版时间:
1990
The Analysis of Concurrent Systems
作者:
B.T. Denvir,W.T. Harwood,M.I. Jackson,M.J. Wray
EISBN:
9783540397311
出版社:
Springer Berlin Heidelberg
出版时间:
1985
The Analysis of Concurrent Systems
作者:
B. T. Denvir,W. T. Harwood,M. I. Jackson,M. J. Wray
EISBN:
9783540397311
出版社:
Springer Berlin Heidelberg
出版时间:
1985
Understanding Concurrent Systems
作者:
A.W. Roscoe
EISBN:
9781848822580
出版社:
Springer London
出版时间:
2010
×
订购单位
×
电子书下载
将全部文件下载下来,放在一个目录中,右键点击后缀名为.zip的文件,用 winrar 、360压缩等压缩软件解压,就都能解压出来了。