 | محرر بروفيرفالتحقق من البروتوكولات وتحريرها المحددة في حساب التفاضل والتكامل SPI |
| التحميل الان | |
محرر بروفيرف الترتيب والملخص
الإعلانات
محرر بروفيرف العلامات
محرر بروفيرف وصف
تحقق وتحرير البروتوكولات المحددة في حساب التفاضل والتكامل SPI محرر Proverif محرر للتحرير والتحقق من البروتوكولات المحددة في SPI-Calculus باستخدام تعليقات Proverif.Developer، يمكنك استخدام المحرر، واسمحوا لي أن أعرف (يمكن العثور على عنوان بريدي الإلكتروني على صفحة المصدر الشخصي الخاص بي). يرجى أيضا الإبلاغ عن أي أخطاء أو اقتراحات قد تواجهها عند استخدام المحرر. متطلبات: بيثون Pygtk. Pygtksourceview.
محرر بروفيرف برامج ذات صلة
