معناشناسی جبری برنامه های ضروری
Algebraic semantics of imperative programs
نویسنده: Joseph Goguen; Grant Malcolm
ناشر: MIT Press
سال انتشار: 1996
تعداد صفحات: 242
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 1 مگابایت
توضیحی برای این کتاب ثبت نشده است.