هذا هو تطبيق Linux المسمى Efficient Symbolic Tools للتشغيل في Linux عبر الإنترنت والذي يمكن تنزيل أحدث إصدار له كـ est-1ed-1-2-Linux-mish.zip. يمكن تشغيله عبر الإنترنت في مزود الاستضافة المجاني OnWorks لمحطات العمل.
قم بتنزيل هذا التطبيق وتشغيله عبر الإنترنت المسمى Efficient Symbolic Tools للتشغيل في Linux عبر الإنترنت باستخدام OnWorks مجانًا.
اتبع هذه التعليمات لتشغيل هذا التطبيق:
- 1. قم بتنزيل هذا التطبيق على جهاز الكمبيوتر الخاص بك.
- 2. أدخل في مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX باسم المستخدم الذي تريده.
- 3. تحميل هذا التطبيق في هذا الملف.
- 4. ابدأ تشغيل OnWorks Linux عبر الإنترنت أو محاكي Windows عبر الإنترنت أو محاكي MACOS عبر الإنترنت من هذا الموقع.
- 5. من نظام تشغيل OnWorks Linux الذي بدأته للتو ، انتقل إلى مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX مع اسم المستخدم الذي تريده.
- 6. قم بتنزيل التطبيق وتثبيته وتشغيله.
أدوات رمزية فعالة للتشغيل في Linux عبر الإنترنت
الوصف:
حزمة الأدوات الرمزية الفعالة (EST) هي أداة قائمة على BDD للتحقق الرسمي من الأنظمة المتزامنة. وتتمثل مزاياه في المرونة وقابلية النقل وإدارة الذاكرة بكفاءة. يعمل تحت أنظمة تشغيل مختلفة ، بما في ذلك Linux و Windows 2000 / XP.الجمهور
التعليم والعلوم / البحوث وصناعة الاتصالات السلكية واللاسلكية
واجهة المستخدم
Win32 (MS Windows) ، X Window System (X11)
لغة البرمجة
ج ، تى سى ال
هذا تطبيق يمكن جلبه أيضًا من https://sourceforge.net/projects/est/. تمت استضافته في OnWorks ليتم تشغيله عبر الإنترنت بأسهل طريقة من أحد أنظمتنا التشغيلية المجانية.