ساخت برنامه: محاسبه پیاده سازی ها از روی مشخصات
Program Construction: Calculating Implementations from Specifications
نویسنده: Roland Backhouse
ناشر: Wiley
سال انتشار: 2003
تعداد صفحات: 320
زبان: English
فرمت: rar - قابل تبدیل به سایر فرمت ها
حجم فایل: 19 مگابایت