Maude MSOS 工具是模块化结构操作语义规范规范的正式环境。 它对于编程语言和并发系统的正式规范特别有用。
版本历史记录
- 版本 N/A 发布于 2011-08-12
若干修复和更新 - 版本 N/A 发布于 2011-08-12
软件信息
- 软件分类： 网络与互联网 > 其他
- 发布者： maude-msos-tool.sf.net
- 许可： 免费
- 价格： N/A
- 版本： Array
- 适用平台： windows
Maude MSOS 工具是模块化结构操作语义规范规范的正式环境。 它对于编程语言和并发系统的正式规范特别有用。