मौड एमएसओएस टूल मॉड्यूलर स्ट्रक्चरल ऑपरेशनल अर्थ्से विनिर्देशों के विनिर्देशों के लिए एक औपचारिक वातावरण है। यह प्रोग्रामिंग भाषाओं और समवर्ती प्रणालियों के औपचारिक विनिर्देश के लिए विशेष रूप से उपयोगी है।
संस्करण इतिहास
- विवरण N/A पर तैनात 2011-08-12
कई सुधार और अपडेट - विवरण N/A पर तैनात 2011-08-12
कार्यक्रम विवरण
- कोटि: नेटवर्क और इंटरनेट > अन्य
- प्रकाशक: maude-msos-tool.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: Array
- मंच: windows