روشهای جبری و زغال سنگ در ریاضیات ساخت برنامه: مدرسه تابستانی بین المللی و کارگاه آکسفورد، انگلستان، آوریل 10-14، 2000 سخنرانی های تجدید نظر شده
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures
نویسنده: Roy Crole (auth.), Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2002
تعداد صفحات: 400
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت