خرید و دانلود نسخه کامل کتاب Refinement in Z and Object-Z: Foundations and Advanced Applications

پالایش در Z و Object-Z: مبانی و کاربردهای پیشرفته

Refinement in Z and Object-Z: Foundations and Advanced Applications

نویسنده: John Derrick BSc, DPhil, Eerke Boiten Ir, PhD (auth.)

ناشر: Springer London

سال انتشار: 2001

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

زبان: English

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

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