مشخصات فنی و مستند سازی با استفاده از Z: یک روش مطالعه موردی
Formal Specification and Documentation Using Z: A Case Study Approach
نویسنده: Jonathan Bowen
ناشر: Intl Thomson Computer Pr (Sd)
سال انتشار: 1996
تعداد صفحات: 315
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 700 کیلوبایت