LTL3 tools 0.0.7
आप 5 सेकंड में डाउनलोड कर सकेंगे।
डाउनलोड शुरू करने के लिए आप निम्नलिखित बाहरी डाउनलोड लिंक पर भी क्लिक कर सकते हैं:
http://sourceforge.net/projects/ltl3tools/files/ltl3tools/0.0.7/ltl3tools-0.0.7.tar.gz/download
करीबन LTL3 tools
उपकरणों का एक संग्रह जिसका उपयोग एलटीएल फार्मूले से मॉनिटर ("watchdogs") उत्पन्न करने के लिए किया जा सकता है। यह रनटाइम सत्यापन के क्षेत्र से जाना जाता है। अधिक जानकारी के लिए, संबद्ध प्रोजेक्ट होमपेज देखें।
संबंधित कार्यक्रम
-
Neve मुफ्त
नेटवर्क विज़ुअलाइज़ेशन पर्यावरण नेटवर्क के साथ 3डी-विज़ुअलाइजेशन और इंटरैक्शन के लिए एक ढांचा है, विशेष रूप से संचार नेटवर्क दोनों वास्तविक समय में और सिमुलेशन टूल के रूप में इंटरनेट के रूप में। जेएमएक्स/जावा3डी पर आधारित।
-
Wikidsmart मुफ्त
zAgile के विकिडस्मार्ट संगम को एक अर्थ विकी और ज्ञान भंडार में बदल देता है। ZCALM पर निर्मित, आवेदन अंतरसंचालनीयता के लिए अर्थ वेब बुनियादी ढांचा, यह एक सूचना डैशबोर्ड बन जाता है जब उपकरण और अनुप्रयोगों के लिए कनेक्टर्स जोड़े
-
sdf2xyz2sdf मुफ्त
एसडीएफ फाइलों को टिंकर XYZ फ़ाइलों (और वाइसवर्सा) में बदलने के लिए एक ओपन-सोर्स सॉफ्टवेयर MMFF94 एटम प्रकार, बांड प्रकार और शुल्क के स्वचालित असाइनमेंट के साथ
-
Alcoholics Anonymous 12 Steps नि: शुल्क परीक्षण
लत वसूली में सहायता करता है और किसी भी ए. ए. सदस्य के लिए एक उपयोगी संदर्भ प्रदान करता है।बिग बुक, संयम कैलकुलेटर, 12 कदम और परंपराओं, ए. ए. बैठकों, प्रार्थनाओं का पता लगाएं ।सुविधाओं में शामिल हैं:बड़ी किताब -मूल
-
Drum Count मुफ्त
ड्रम काउंट एक सरल उपकरण है जो ड्रमसेट पर खेले जाने वाले स्ट्रोक की संख्या को मापने के लिए वास्तविक समय में ध्वनि का विश्लेषण करता है।
-
FBReader LitRes plugin नि: शुल्क परीक्षण
FBReader litres.ru एकीकरण के लिए अतिरिक्त सुविधाएं।एक क्लिक लीटर स्टोर का उपयोग करें।नए उपयोगकर्ताओं को सीधे FBReader से पंजीकृत करें, टेक्स्ट संदेशों और क्रेडिट कार्ड के माध्यम से अपने खाते को टॉप अप करें।
-
quickdoc मुफ्त
क्विकडॉक एक जावा दस्तावेज़ पार्सर है जो एक सरल भाषा का उपयोग करके सादे टेक्स्ट फाइलों से दस्तावेज पढ़ता है और पीडीएफ, एचटीएमएल, जावा हेल्प और एक्सएमएल जैसे अन्य प्रारूपों में दस्तावेज़ का निर्यात करता है।
-
The Earth Science Markup Language मुफ्त
ईएसएलएम एक इंटरचेंज तकनीक है जो बाहरी मेटाडेटा का उपयोग करती है ताकि अनुप्रयोगों को विषम प्रारूपों में पृथ्वी विज्ञान विशिष्ट डेटासेट के साथ निर्बाध रूप से प्लग और खेलने की अनुमति दी जा सके।
-
RoboCup GameController मुफ्त
रोबोकप गेमकंट्रोलर एक ओपन सोर्स सॉफ्टवेयर है जो रोबोकप ह्यूमनॉइड लीग और स्टैंडर्ड प्लेटफॉर्म लीग में उपयोग किया जाता है। रेफरी कमांड खिलाड़ियों की उच्च स्वायत्तता तक पहुंचने के लिए वायरलेस नेटवर्क के माध्यम से खेल मैदान पर रो
-
PMath मुफ्त
PMath एक पाम आधारित WYSIWYG गणितीय ग्रंथों के संपादक की संभावना के साथ उन्हें LaTeX में परिवर्तित करने के लिए है।