Maude MSOS Tool adalah lingkungan formal untuk spesifikasi spesifikasi Modular Structural Operational Semantics. Ini sangat berguna untuk spesifikasi formal bahasa pemrograman dan sistem bersamaan.
Riwayat versi
- Versi N/A diposting di 2011-08-12
Beberapa perbaikan dan pembaruan - Versi N/A diposting di 2011-08-12
Detil Program
- Kategori: Jaringan & Internet > Lain
- Penerbit: maude-msos-tool.sf.net
- Lisensi: Gratis
- Harga: N/A
- Versi: Array
- Platform: windows