روشهای صوری: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
بدون خلاصۀ ویرایش |
|||
خط ۳۷:
== منابع ==
{{پانویس}}
* {{یادکرد-ویکی
|پیوند = http://en.wikipedia.org/wiki/Formal_methods
سطر ۴۴ ⟵ ۴۶:
|بازیابی =
}}
* [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
|