Microsoft Visual Studio Express 2012 RC עבור Windows 8
הוא הכלי שלך לבנות יישומים בסגנון מטרו עבור Windows 8. ...
1.2 MB
 | קוקטייל IIזה כלי לאימות סטטי פורמלי של תוכניות. |
| הורד עכשיו | |
קוקטייל II דירוג וסיכום
פרסומת
קוקטייל II תגים
קוקטייל II תיאור
קוקטייל II (לפי חוסר שם טוב יותר) הוא פרויקט מעקב של קוקטייל. זהו כלי לאימות סטטי פורמלי של תוכניות. השפה שתומכת כעת היא קטנה, אבל כבר מדגימה כמה תכונות מעניינות, כמו datatypes רקורסיבית. שתף את החוויה שלך: כתוב סקירה על תוכנית זו
קוקטייל II תוכנה קשורה
