خرید و دانلود نسخه کامل کتاب Using Z: Specification, Refinement, and Proof

استفاده از Z: مشخصات ، پالایش و اثبات

Using Z: Specification, Refinement, and Proof

نویسنده: Jim Woodcock, Jim Davies

ناشر: Prentice Hall

سال انتشار: 1996

تعداد صفحات: 408

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 1 مگابایت