登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
Understanding Behaviour of Distributed Systems Using mCRL2
EISBN：
9783031230080
PISBN：
9783031230073
出版社：
Springer Nature
出版时间：
2023
作者：
Muhammad Atif,Jan Friso Groote
主题词：
Model Checking,Behaviour Analysis,Formal Specification,Process Algebra,Inter-process Communication
学科：
Engineering
语种：
英语
所属数据库：
SpringerLink电子图书
丛书题名：
Studies in Systems, Decision and Control
2浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
Human Behaviour Analysis Using Intelligent Systems
作者：
D. Jude Hemanth
EISBN：
9783030351397
出版社：
Springer International Publishing
出版时间：
2020
Understanding Pathogen Behaviour
作者：
Griffiths,M.
PISBN：
9781855739536
出版时间：
Pre 2007
Distributed Autonomous Robotic Systems 2
作者：
Hajime Asama,Toshio Fukuda,Tamio Arai,Isao Endo
EISBN：
9784431669425
出版社：
Springer Japan
出版时间：
1996
Distributed Autonomous Robotic Systems 2
作者：
Hajime Asama,Toshio Fukuda,Tamio Arai,Isao Endo
EISBN：
9784431669425
出版社：
Springer Japan
出版时间：
1996
Distributed Systems
作者：
M. Paul,H. J. Siegert,M. W. Alford,J. P. Ansart,G. Hommel,L. Lamport,B. Liskov,G. P. Mullery,F. B. Schneider
EISBN：
9783540393634
出版社：
Springer Berlin Heidelberg
出版时间：
1985
Distributed Systems
作者：
M.W. Alford,J.P. Ansart,G. Hommel,L. Lamport,B. Liskov,G.P. Mullery,F.B. Schneider,Manfred Paul,H.J. Siegert
EISBN：
9783540393634
出版社：
Springer Berlin Heidelberg
出版时间：
1985
×
订购单位
×
电子书下载
将全部文件下载下来，放在一个目录中，右键点击后缀名为.zip的文件，用 winrar 、360压缩等压缩软件解压，就都能解压出来了。
问图书管理员
馆际互借
查看订购单位