Spin Model Checker, The Primer and Reference Manual
5星 · 超过95%的资源 需积分: 9 119 浏览量
2013-10-16
15:31:03
上传
评论
收藏 3.53MB PDF 举报 
资源评论
jia@2018-08-02比较长，还需要学习
tuzilaopo2015-01-02非常棒的Spin英文学习资料，谢了- slxiang_0012016-06-19非常不错，感谢分享
- jove32467432014-04-01权威教材，值得借鉴
bytekiller2018-11-10内容不错。但好像不是原版。像网页上打印出来的。换页的地方有被截掉的文字
goodone80
- 粉丝: 0
- 资源: 2
最新资源
- 2022年各城市PM2.5, PM10, SO2, NO2等环境空气质量数据
- Golang：通过Gin框架+Redis+责任链，实现一个简单的钉钉机器人，进行消息处理 ps:多应用版
- 2021年各城市PM2.5, PM10, SO2, NO2等环境空气质量数据
- CORRUPT.navicat150-premium-cs-x64.exe
- centos7 ssh 升级至 9.6p1
- DriverMax Pro .exe
- PHP端通过modbus协议跟第三方设备进行数据通信
- navicat安装包亲测可用
- 算法部署-使用OpenVINO部署MobileStyleGAN轻量化高保真图像合成算法-项目源码-优质项目实战.zip
- 基于java实现远程采集华为逆变器使用modbus tcp协议进行通讯的设备数据
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
