Principles of the Spin Model Checker 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
☆☆☆☆☆
简体网页||
繁体网页
Mordechai Ben-Ari 作者
Springer
译者
2008-01-07 出版日期
216 页数
USD 59.95 价格
Paperback
丛书系列
9781846287695 图书编码
Principles of the Spin Model Checker 在线电子书 图书标签:
模型检验
计算机
喜欢 Principles of the Spin Model Checker 在线电子书 的读者还喜欢
下载链接在页面底部
点击这里下载
立刻按 ctrl+D收藏本页
你会得到大惊喜!!
发表于2024-11-10
Principles of the Spin Model Checker 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024
Principles of the Spin Model Checker 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024
Principles of the Spin Model Checker 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
Principles of the Spin Model Checker 在线电子书 用户评价
评分
☆☆☆☆☆
分布式算法设计与验证的工具,promela和spin的简单入门,篇目短小,在有些方面语焉不详,要配合一些其他文档阅读。
评分
☆☆☆☆☆
分布式算法设计与验证的工具,promela和spin的简单入门,篇目短小,在有些方面语焉不详,要配合一些其他文档阅读。
评分
☆☆☆☆☆
学习Spin工具和Promela语言的必备参考书
评分
☆☆☆☆☆
分布式算法设计与验证的工具,promela和spin的简单入门,篇目短小,在有些方面语焉不详,要配合一些其他文档阅读。
评分
☆☆☆☆☆
学习Spin工具和Promela语言的必备参考书
Principles of the Spin Model Checker 在线电子书 著者简介
Principles of the Spin Model Checker 在线电子书 图书目录
Principles of the Spin Model Checker 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载
Principles of the Spin Model Checker 在线电子书 图书描述
Principles of the Spin Model Checker 在线电子书 读后感
评分
☆☆☆☆☆
评分
☆☆☆☆☆
评分
☆☆☆☆☆
评分
☆☆☆☆☆
评分
☆☆☆☆☆
类似图书 点击查看全场最低价
Principles of the Spin Model Checker 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024