مشخصات رسمی: تکنیک ها و کاربردها
Formal Specification: Techniques and Applications
نویسنده: Nimal Nissanke MSc, PhD (auth.)
ناشر: Springer-Verlag London
سال انتشار: 1999
تعداد صفحات: 304
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 7 مگابایت