اثبات در VDM: مطالعات موردی
Proof in VDM: Case Studies
نویسنده: John Fitzgerald, Cliff Jones (auth.), J. C. Bicarregui BSc, MSc, PhD (eds.)
ناشر: Springer-Verlag London
سال انتشار: 1998
تعداد صفحات: 235
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 11 مگابایت