 | عري |
| التحميل الان | |
عري الترتيب والملخص
الإعلانات
- رخصة:
- Freeware
- السعر:
- FREE
- اسم الناشر:
- Andrea Mocci
- موقع ويب الناشر:
- أنظمة التشغيل:
- Mac OS X
- حجم الملف:
- 2.2 MB
عري العلامات
عري وصف
المصدر المجاني والمفتوح عرض منصة من المنصة مشروط Molle يستغل طريقة Tableaux Modal Semanic. تتميز Molle بواجهة رسومية صالحة للغاية، مع تمثيل تفاعلي للنماذج المتولدة. ملاحظة: Molle مرخصة وتوزيعها بموجب شروط الترخيص المجاني الأكاديمي (AFL). متطلبات: جاوة ما الجديد في هذا الإصدار: إثبات صيغ منطق مشروط مقترح دليل على خصائص إطار صريح: {رد الفعل} (المزيد ليأتي ...) تصور Proof TableAux، وخطوات الدقة تصور النماذج للأمثلة والمكافحة
عري برامج ذات صلة
