دانلود کتاب Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings (به فارسی: ریاضیات ساخت برنامه: هفتمین کنفرانس بین المللی، MPC 2004، استرلینگ، اسکاتلند، انگلستان، 12-14 جولای، 2004. مجموعه مقالات) نوشته شده توسط «Greg Nelson (auth.) – Dexter Kozen (eds.)»
اطلاعات کتاب ریاضیات ساخت برنامه: هفتمین کنفرانس بین المللی، MPC 2004، استرلینگ، اسکاتلند، انگلستان، 12-14 جولای، 2004. مجموعه مقالات
موضوع اصلی: ریاضیات
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Greg Nelson (auth.) – Dexter Kozen (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2004
تعداد صفحه: 404
حجم کتاب: 7 مگابایت
کد کتاب: 3540223800 , 9783540223801 , 9783540277644
نوبت چاپ: 1
توضیحات کتاب ریاضیات ساخت برنامه: هفتمین کنفرانس بین المللی، MPC 2004، استرلینگ، اسکاتلند، انگلستان، 12-14 جولای، 2004. مجموعه مقالات
این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین المللی ریاضیات ساخت برنامه، MPC 2004 است که در ژوئیه 2004 در استرلینگ، اسکاتلند، انگلستان برگزار شد.
19 مقاله کامل اصلاح شده ارائه شده با دقت ارائه شده است. بررسی و از بین 37 مورد ارسالی انتخاب شد. از جمله موضوعاتی که به آن پرداخته می شود، تئوری برنامه نویسی، روش شناسی برنامه نویسی، مشخصات برنامه، تبدیل برنامه، پارادایم های برنامه نویسی، محاسبات برنامه نویسی و معناشناسی زبان برنامه نویسی است.
This book constitutes the refereed proceedings of the 7th International Conference on the Mathematics of Program Construction, MPC 2004, held in Stirling, Scotland, UK in July 2004.
The 19 revised full papers presented were carefully reviewed and selected from 37 submissions. Among the topics addressed are programming theory, programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.