روشهای صوری: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
خط ۴۹:
* [http://ce.sharif.edu/courses/83-84/2/ce665/resources/root/last%20presentation/Formal%20Methods.ppt مروری بر روشهای رسمی تولید برنامه در مقایسه با روشهای متداول]
* (انگلیسی) http://shemesh.larc.nasa.gov/fm/fm-what.html
{{علوم رایانه}}
| |||