请选择 进入手机版 | 继续访问电脑版
楼主: nivastuli
767 2

[文献讨论] Designing Reliable Distributed Systems [推广有奖]

学术权威

22%

还不是VIP/贵宾

-

威望
1
论坛币
201583 个
通用积分
2871.4711
学术水平
358 点
热心指数
561 点
信用等级
419 点
经验
96387 点
帖子
2516
精华
1
在线时间
5745 小时
注册时间
2013-11-17
最后登录
2024-3-28

nivastuli 发表于 2018-2-12 22:00:58 |显示全部楼层 |坛友微信交流群
相似文件 换一批

+2 论坛币
k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群
赵安豆老师微信:zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

感谢您参与论坛问题回答

经管之家送您两个论坛币!

+2 论坛币
This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language and simulation and model checking tool, which offers a simple and intuitive modeling formalism that is suitable for modeling distributed systems in an attractive object-oriented and functional programming style.
二维码

扫码加我 拉你入群

请注明:姓名-公司-职位

以便审核进群资格,未注明则拒绝

关键词:distributed Designing Reliable Systems tribute

0050d52b_medium.jpg

Springer - Designing Reliable Distributed Systems (2017).pdf

4.46 MB

需要: 10 个论坛币  [购买]

Designing Reliable Distributed Systems

slowry 发表于 2018-4-1 22:03:29 |显示全部楼层 |坛友微信交流群

使用道具

yangwag 发表于 2018-4-4 09:30:54 |显示全部楼层 |坛友微信交流群
很好,可以好好看看.

使用道具

您需要登录后才可以回帖 登录 | 我要注册

本版微信群
加JingGuanBbs
拉您进交流群

京ICP备16021002-2号 京B2-20170662号 京公网安备 11010802022788号 论坛法律顾问:王进律师 知识产权保护声明   免责及隐私声明

GMT+8, 2024-3-28 20:26