مشخصات و مستندات رسمی با استفاده از Z
Formal Specification and Documentation Using Z
نویسنده: J. Bowen
ناشر: Open Univ.
سال انتشار: 1995
تعداد صفحات: 314
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 1 مگابایت
توضیحی برای این کتاب ثبت نشده است.