دانلود کتاب Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings (به فارسی: ریاضیات ساخت برنامه: ششمین کنفرانس بین المللی، MPC 2002 قلعه داگستول، آلمان، 8 تا 10 ژوئیه، 2002 مجموعه مقالات) نوشته شده توسط «Robert Giegerich – Peter Steffen (auth.) – Eerke A. Boiten – Bernhard Möller (eds.)»
اطلاعات کتاب ریاضیات ساخت برنامه: ششمین کنفرانس بین المللی، MPC 2002 قلعه داگستول، آلمان، 8 تا 10 ژوئیه، 2002 مجموعه مقالات
موضوع اصلی: ریاضیات
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Robert Giegerich – Peter Steffen (auth.) – Eerke A. Boiten – Bernhard Möller (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2002
تعداد صفحه: 266
حجم کتاب: 2 مگابایت
کد کتاب: 3540438572 , 9783540438571
نوبت چاپ: 1
توضیحات کتاب ریاضیات ساخت برنامه: ششمین کنفرانس بین المللی، MPC 2002 قلعه داگستول، آلمان، 8 تا 10 ژوئیه، 2002 مجموعه مقالات
این کتاب مجموعه مقالات داوری ششمین کنفرانس بین المللی ریاضیات ساخت برنامه، MPC 2002، در قلعه داگستول، آلمان، در ژوئیه 2002 برگزار شد.
11 مقاله کامل اصلاح شده ارائه شده با دقت بررسی و برای گنجاندن در کتاب انتخاب شدند. ; همچنین یک مقاله دعوت شده و چکیده دو سخنرانی دعوت شده ارائه شده است. از جمله موضوعات تحت پوشش روش برنامه نویسی، مشخصات برنامه، تبدیل برنامه، پارادایم های برنامه نویسی، محاسبات برنامه نویسی، و معناشناسی زبان برنامه نویسی است.
The 11 revised full papers presented were carefully reviewed and selected for inclusion in the book; also presented are one invited paper and the abstracts of two invited talks. Among the topics covered are programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.