خرید و دانلود نسخه کامل کتاب Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

ریاضیات ساخت برنامه: دومین کنفرانس بین المللی، آکسفورد، بریتانیا، 29 ژوئن - 3 ژوئیه، 1992 مجموعه مقالات

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

نویسنده: Rod Burstall (auth.), R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1993

تعداد صفحات: 388

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 15 مگابایت