خرید و دانلود نسخه کامل کتاب 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, Eerke A. Boiten (auth.)

ناشر: Springer-Verlag London

سال انتشار: 2014

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

زبان: English

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

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