ساخت برنامه: محاسبه پیاده سازی ها از روی مشخصات
Program Construction: Calculating Implementations from Specifications
نویسنده: Roland Backhouse
ناشر: John Wiley & Sons, Ltd
سال انتشار: 2003
تعداد صفحات: 353
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 20 مگابایت