Principles of the Spin Model Checker pdf epub mobi txt 电子书 下载 2024
简体网页||繁体网页
Mordechai Ben-Ari
Springer
2008-01-07
216
USD 59.95
Paperback
9781846287695
图书标签: 模型检验 计算机
喜欢 Principles of the Spin Model Checker 的读者还喜欢
下载链接在页面底部
点击这里下载
发表于2024-12-26
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 epub mobi txt 电子书 下载 2024
图书描述
著者简介
图书目录
Principles of the Spin Model Checker pdf epub mobi txt 电子书 下载
用户评价
评分
分布式算法设计与验证的工具，promela和spin的简单入门，篇目短小，在有些方面语焉不详，要配合一些其他文档阅读。
评分分布式算法设计与验证的工具，promela和spin的简单入门，篇目短小，在有些方面语焉不详，要配合一些其他文档阅读。
评分学习Spin工具和Promela语言的必备参考书
评分分布式算法设计与验证的工具，promela和spin的简单入门，篇目短小，在有些方面语焉不详，要配合一些其他文档阅读。
评分学习Spin工具和Promela语言的必备参考书
读后感
评分
评分
评分
评分
评分
类似图书 点击查看全场最低价
Principles of the Spin Model Checker pdf epub mobi txt 电子书 下载 2024
分享链接
相关图书
-
Fremmedordbok for kjærester pdf epub mobi txt 电子书 下载 -
现代拼音速录 pdf epub mobi txt 电子书 下载
-
中文Mastercam X2基础与进阶 pdf epub mobi txt 电子书 下载
-
计算机网络实验与实训 pdf epub mobi txt 电子书 下载
-
AutoCAD2008机械设计基础与进阶 pdf epub mobi txt 电子书 下载
-
数据库原理与设计 pdf epub mobi txt 电子书 下载
-
计算机应用基础 pdf epub mobi txt 电子书 下载
-
辽海讲坛 (平装) pdf epub mobi txt 电子书 下载
-
嵌入式Linux应用开发教程 pdf epub mobi txt 电子书 下载
-
AutoCAD 2008中文版辅助机械制图 pdf epub mobi txt 电子书 下载
-
Photoshop CS3中文版图形图像处理 pdf epub mobi txt 电子书 下载
-
中文版3ds Max 9装饰设计案例教程 pdf epub mobi txt 电子书 下载
-
网页设计与制作 pdf epub mobi txt 电子书 下载
-
Java语言程序设计 pdf epub mobi txt 电子书 下载
-
计算机应用与技能培训教程 pdf epub mobi txt 电子书 下载
-
太极柔力球与小球运动 pdf epub mobi txt 电子书 下载
-
汉字录入与编辑基础 pdf epub mobi txt 电子书 下载
-
热工基础 pdf epub mobi txt 电子书 下载
-
网页制作教程 pdf epub mobi txt 电子书 下载
-
中国电视产业启示录 pdf epub mobi txt 电子书 下载
