सॉफ्टवेयर सबमिट करें
  1. को
  2. Windows
  3. अन्य
  4. eTLA

eTLA 2.1.0

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

TLA + ग्रहण आईडीई प्लगइन। ग्रहण आईडीई में सिस्टम निर्दिष्ट करने के लिए औपचारिक परिभाषा भाषा 'कार्यों के लौकिक तर्क' का एकीकरण

संस्करण इतिहास

  • विवरण 2.1.0 पर तैनात 2005-08-22
    कई सुधार और अपडेट
  • विवरण 2.1.0 पर तैनात 2005-08-22

कार्यक्रम विवरण

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

  • TinyIDE MUSH Programming Tool मुफ्त

    टिनीसाइड परियोजना टिनीमुश, पेनमुश आदि में कोडर्स के लिए एक नया एमयूश क्लाइंट बनाने का प्रयास है। इसमें कोड फॉर्मेटिंग, ऑब्जेक्ट ब्राउजिंग और जनरल एमयूश क्लाइंट फंक्शनैलिटी की सुविधा होगी।

  • Pesoguin Calendar free cartoon मुफ्त

    यह जापान में एक लोकप्रिय चरित्र "Pesoguin", का एक कैलेंडर ऐप है । Youà ¢  € ™ इसे मनोरंजन से भरा एक उपकरण मिल जाएगा । इस ऐप में आप इसके निजीकरण का आनंद ले सकते हैं। एक एक € » पेसोगुइन एक सम्राट पेंगुइन के बच्चे क

  • Transparent skin Green नि: शुल्क परीक्षण

    बेहतर कीबोर्ड और स्मार्ट कीबोर्ड प्रो के लिए त्वचा।यह देखने के लिए उपयोगी है कि कीबोर्ड के नीचे क्या होता है (जैसे चैट, कमांड लाइन, आदि ...)।यदि आप इस काम को पसंद करते हैं या उपयोग करते हैं, तो आप हमेशा मुझे एक बियर खर

  • TubeMonitor नि: शुल्क परीक्षण

    ट्यूबमॉनिटर एक विजेट है जो आपको यूट्यूब पर अपने वीडियो के लिए दृश्यों की संख्या की निगरानी करने में मदद करता है। केवल आपके उपयोगकर्ता नाम की आवश्यकता है।अब आपको अपने वीडियो की अपडेटेड व्यू काउंट पाने के लिए हर अब यूट्यूब

  • I'm Out! - Call interceptor मुफ्त

    क्या आपको घर पर अपना फोन भूलने और चिंता करने की आदत है अगर कोई आपको फोन करने की कोशिश कर रहा है? या फिर आप एक गन्दा आउटडोर गतिविधि में भाग लेने के दौरान घर पर अपने महंगे एंड्रॉइड फोन छोड़ने में सक्षम होना चाहते हैं, लेकिन फिर

  • DIG Interface मुफ्त

    एक्सएमएल स्कीमास, एक्सएमएलबींस और जावा डीआईजी इंटरफेस का कार्यान्वयन- विवरण लॉजिक सिस्टम के लिए एक मानकीकृत एक्सएमएल इंटरफेस डीएल कार्यान्वयन समूह (डीआईजी) द्वारा विकसित।

  • Onemind common java library मुफ्त

    वनमाइंड-कॉमन्स में कई जावा पुस्तकालय होते हैं: आम-जावा: जावा डेटास्ट्रक्चर/यूटिल लाइब्रेरी; रिलेशनल-बीन: रिलेशनल ऑब्जेक्ट मॉडल प्रतिनिधित्व के लिए जावा बीन लाइब्रेरी का विस्तार; मंगलाचरण: एक इष्टतम प्रतिबिंब आवरण ढांचा

  • UPSD Log Parser मुफ्त

    यूपीएसडी लॉग पार्सर (यूएलपी) यूपीएसडी द्वारा सिस्लॉग्ड को भेजे गए संदेशों पर नजर रखता है। यह इन से डेटा निकालता है और उन्हें एक आरआरडी फ़ाइल में सम्मिलित करता है, जहां से प्रशासक यूपीएस स्थिति का रेखांकन प्राप्त कर सकते हैं।

  • CamPainter Lite नि: शुल्क परीक्षण

    कैमपेंटर एक शक्तिशाली फिंगर पेंटिंग सॉफ्टवेयर है।1. 1024x768 पिक्सल कैनवास/डब्ल्यू नेविगेशन आइकन तक2. फास्ट रिस्पांस और यूजर फ्रेंडली इंटरफेस3. ह्यू/संतृप्ति चयन पहिया4. आईड्रॉपर: पहले से लागू रंग उठाओ5. ज़ूम इन/आ

  • idyaDBX - SQL DBMS in PHP मुफ्त

    idyaDBX पीएचपी में लिखा गया एक हल्का पुस्तकालय है जो एक एम्बेडेबल एसक्यूएल डेटाबेस इंजन को लागू करता है, जिसमें कच्चे डेटा को एक्सएमएल के रूप में संग्रहीत किया जाता है। पीएचपी स्क्रिप्ट में बाहरी डीबीएमएस की आवश्यकता के बिना,