सॉफ्टवेयर सबमिट करें
  1. को
  2. Windows
  3. अन्य
  4. PiET: Pi Calculus Equivalences Tester
  5. Download

PiET: Pi Calculus Equivalences Tester 1.0

लाइसेंस: मुफ्त ‎फ़ाइल आकार: N/A
‎उपयोगकर्ताओं की रेटिंग: 5.0/5 - ‎1 ‎वोट

करीबन PiET: Pi Calculus Equivalences Tester

PiET पीआई पथरी के लिए दस व्यवहार तुल्यता के लिए एक सत्यापन उपकरण है।

संबंधित कार्यक्रम

  • The Figaro मुफ्त

    OBDDs"(Figaro) द्वारा अंतर्निहित ग्राफ एल्गोरिदम और अभ्यावेदन के लिए "फ्रेमवर्क स्वचालित रूप से इनपुट जनरेटर और एल्गोरिदम प्लगइन्स के साथ प्रयोगों का प्रबंधन करता है। इसमें ग्राफ और शेड्यूलिंग समस्याओं के लिए पहले स

  • C++ Programming Reference FREE नि: शुल्क परीक्षण

    त्वरित संदर्भ कार्ड से सी ++ भाषा प्रोग्रामिंग संदर्भ पूरा करें, प्रोग्रामिंग भाषा प्रशिक्षण मैनुअल तकसंभावनाओं का उपयोग करें मोबाइल आप लाता है, अध्ययन या कुछ भी आप जाने पर चाहते है की जांच करने की अनुमति । परिवहन पर समय

  • MEP Auswertung मुफ्त

    इस कार्यक्रम को ट्रांसक्रैनियल मैग्नेटिक उत्तेजना (टीएमएस) द्वारा उत्पन्न मोटर उत्पीला क्षमता (एमईपी) का मूल्यांकन करने के लिए एक उपयोगी उपकरण बनाने के लिए ध्यान में रखा गया है और कार्यक्रम और उद्धृत; सिग्नल&उद्धृत; (संस्करण

  • gsvit मुफ्त

    ग्राफिक्स कार्ड सपोर्ट के साथ फास्ट एफडीटीडी सॉल्वर। नैनोस्केल ऑप्टिक्स के लिए अनुकूलित - क्षेत्र ऑप्टिकल माइक्रोस्कोपी, किसी न किसी सतह बिखरने और सौर कोशिकाओं के पास स्कैनिंग। ग्राफिक्स कार्ड ऑपरेशन के लिए यूडीए पर्यावरण का

  • Russian Vocabulary मुफ्त

    यह रूसी शब्दावली प्रश्नोत्तरी खेलने के लिए समय है! गोल्डन क्वार्ट्ज से मजेदार, मुफ्त इंटरैक्टिव सामान्य ज्ञान क्विज़ आपको ज्ञान देता है! रूसी (Ã' €Ã'ƒÃ'Â'Âúàààà· Ã' ‹ ú, russkiy yazyk, उच्चारण

  • Fiction Press Reader मुफ्त

    महीने के लिए अपने सभी डेटा का उपयोग किए बिना FictionPress.com का आनंद लेना चाहते हैं? यह फिक्शन प्रेस के लिए एक ऑफ़लाइन रीडर है जो आपको चलते-फिरते अपनी कहानियों को पढ़ने की अनुमति देगा। यह आपको अपनी कहानियों के अपडेट के लिए प

  • brickit मुफ्त

    प्लाज्मिड और बायोब्रिक का एक वेब-आधारित भंडार (http://parts.mit.edu देखें) प्लस संबंधित उपयोगिता कार्यक्रम जो सिंथेटिक जीव विज्ञान अनुसंधान का समर्थन करते हैं।

  • Harrow मुफ्त

    मेटाडेटा की कटाई के लिए एक जावा पुस्तकालय, वेबसर्विस और वेबक्लिएंट। यह वर्तमान में ओएआई-पीएमएच से फेडोरा 2 तक कटाई का समर्थन करता है, लेकिन अधिक प्रोटोकॉल का समर्थन करने के लिए आसानी से बढ़ाया जा सकता है।

  • MLPA Analyzer मुफ्त

    MLPA विश्लेषक मल्टीप्लेक्स लिगेशन-निर्भर जांच प्रवर्धन के लिए एक कार्यप्रवाह और विश्लेषण वातावरण है

  • Physics Solving Toolkit मुफ्त

    Phyz एक शैक्षिक कार्यक्रम है जो विभिन्न भौतिकी सिद्धांतों/अवधारणाओं को दर्शाता है और इसमें समस्या को सुलझाने वाले कार्यक्रमों के सेट शामिल हैं ।मूल दर्शन समस्या को सुलझाने के लिए एक आसान इंटरफ़ेस को समझाना और प्रदान करना है