Maude MSOS Tool là một môi trường chính thức cho các đặc điểm kỹ thuật của modular cấu trúc hoạt động ngữ nghĩa thông số kỹ thuật. Nó đặc biệt hữu ích cho các đặc điểm kỹ thuật chính thức của ngôn ngữ lập trình và các hệ thống đồng thời.
lịch sử phiên bản
- Phiên bản N/A đăng trên 2011-08-12
Một số bản sửa lỗi và cập nhật - Phiên bản N/A đăng trên 2011-08-12
Chi tiết chương trình
- Mục: Mạng & Internet > Khác
- Publisher: maude-msos-tool.sf.net
- Giấy phép: Miễn phí
- Giá: N/A
- Phiên bản: Array
- Nền tảng: windows