محاسبات طراحی برنامه
Program design calculi
نویسنده: North Atlantic Treaty Organization. Scientific Affairs Division.; Broy, M (ed.)
ناشر: Springer
سال انتشار: 1993
تعداد صفحات: 419
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت