登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
Formal Methods for Open Object-based Distributed Systems
EISBN:
9780387350820
PISBN:
9780412797705
出版社:
Springer US
出版类型:
Contributed volume
出版时间:
1997
版次:
1st ed. 1997
作者:
Elie Najm,Jean-Bernard Stefani
主题词:
Computer Science,Software Engineering,Programming and Operating Systems,Computer Communication Networks,Signal,Image and Speech Processing
语种:
英语
所属数据库:
SpringerLink电子图书(1815-2004)
丛书题名:
IFIP Advances in Information and Communication Technology
1浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
Formal Methods for Open Object-Based Distributed Systems
作者:
Marcello M. Bonsangue,Einar Broch Johnsen
EISBN:
9783540729525
出版社:
Springer Berlin Heidelberg
出版时间:
2007
Formal Methods for Open Object-Based Distributed Systems
作者:
Martin Steffen,Gianluigi Zavattaro
EISBN:
9783540315568
出版社:
Springer Berlin Heidelberg
出版时间:
2005
Formal Methods for Open Object-Based Distributed Systems
作者:
Elie Najm,Uwe Nestmann,Perdita Stevens
EISBN:
9783540399582
出版社:
Springer Berlin Heidelberg
出版时间:
2003
Formal Methods for Open Object-Based Distributed Systems
作者:
Roberto Gorrieri,Heike Wehrheim
EISBN:
9783540348955
出版社:
Springer Berlin Heidelberg
出版时间:
2006
Formal Methods for Open Object-based Distributed Systems
作者:
Howard Bowman,John Derrick
EISBN:
9780387352619
出版社:
Springer US
出版时间:
1997
Formal Methods for Open Object-Based Distributed Systems
作者:
Paolo Ciancarini,Alessandro Fantechi,Robert Gorrieri
EISBN:
9780387355627
出版社:
Springer US
出版时间:
1999
×
订购单位
×
电子书下载
将全部文件下载下来,放在一个目录中,右键点击后缀名为.zip的文件,用 winrar 、360压缩等压缩软件解压,就都能解压出来了。