مبانی مشخصات جبری و توسعه نرم افزار رسمی
Foundations of Algebraic Specification and Formal Software Development
نویسنده: Donald Sannella, Andrzej Tarlecki
ناشر: Springer
سال انتشار: 2012
تعداد صفحات: 594
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت