model-checking पर टैग किए गए जवाब

1
प्रोग्रामिंग भाषा शब्दार्थ प्रोटोटाइप उपकरण
क्या प्रोग्रामिंग भाषा के शब्दार्थों और प्रकार प्रणाली के प्रोटोटाइप के लिए कोई उपकरण है और जो मानक गुणों की कुछ प्रकार की मॉडल जांच की अनुमति देता है , जैसे कि ध्वनि? मैं यह पूछ रहा हूं, क्योंकि मैं मिश्र धातु पर एक किताब पढ़ रहा हूं और यह …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.