دانلود کتاب Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings (به فارسی: ریاضیات ساخت برنامه: هشتمین کنفرانس بین المللی، MPC 2006، Kuressaare، استونی، 3-5 ژوئیه، 2006. مجموعه مقالات) نوشته شده توسط «Robin Cockett (auth.) – Tarmo Uustalu (eds.)»
اطلاعات کتاب ریاضیات ساخت برنامه: هشتمین کنفرانس بین المللی، MPC 2006، Kuressaare، استونی، 3-5 ژوئیه، 2006. مجموعه مقالات
موضوع اصلی: ریاضیات
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Robin Cockett (auth.) – Tarmo Uustalu (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2006
تعداد صفحه: 458
حجم کتاب: 4 مگابایت
کد کتاب: 3540356312 , 9783540356318
نوبت چاپ: 1
توضیحات کتاب ریاضیات ساخت برنامه: هشتمین کنفرانس بین المللی، MPC 2006، Kuressaare، استونی، 3-5 ژوئیه، 2006. مجموعه مقالات
این کتاب مجموعه مقالات داوری هشتمین کنفرانس بین‌المللی ریاضیات ساخت برنامه، MPC 2006، در کورساآر، استونی در ژوئیه 2006، با AMAST 2006، یازدهمین کنفرانس بین‌المللی روش‌شناسی جبری و فناوری نرم‌افزار است.
22 مقاله کامل اصلاح شده ارائه شده همراه با 3 گفتگوی دعوت شده به دقت بررسی و از بین 45 مورد ارسالی انتخاب شدند. موضوعاتی که به آن پرداخته می شود از الگوریتم تا پشتیبانی از ساخت برنامه در زبان ها و سیستم های برنامه نویسی را شامل می شود. موضوعات مورد علاقه خاص عبارتند از: سیستم های نوع، تحلیل و تبدیل برنامه، معناشناسی زبان برنامه نویسی، منطق برنامه.
This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006, co-located with AMAST 2006, the 11th International Conference on Algebraic Methodology and Software Technology.
The 22 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 45 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.