| إيفيل أداة Java التي توفر التحقق التفاعلي على اللغة الوسيطة |
التحميل الان |
إيفيل الترتيب والملخص
- اسم الناشر:
- Karlsruhe Institute of Technology
- موقع ويب الناشر:
- http://i12www.ira.uka.de/~mulbrich/
إيفيل العلامات
إيفيل وصف
IVIL هو تطبيق يمكن استخدامه للتحقق من مستوى لغة التحقق الوسيط .ivil مكتوب في لغة برمجة Java ويمكن تشغيلها على Mac OS X و Windows و Linux.
إيفيل برامج ذات صلة