روش های رسمی در مهندسی سیستم
Formal Methods in Systems Engineering
نویسنده: Joseph A. Goguen (auth.), Peter Ryan BSc, PhD, Chris Sennett MA, DPhil (eds.)
ناشر: Springer-Verlag London
سال انتشار: 1993
تعداد صفحات: 203
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 8 مگابایت