دانلود کتاب Mathematics of Program Construction: 4th International Conference, MPC’98 Marstrand, Sweden, June 15–17, 1998 Proceedings (به فارسی: ریاضیات ساخت برنامه: چهارمین کنفرانس بین المللی، MPC’98 Marstrand، سوئد، 15–17 ژوئن 1998 مجموعه مقالات) نوشته شده توسط «David Harel (auth.) – Johan Jeuring (eds.)»
اطلاعات کتاب ریاضیات ساخت برنامه: چهارمین کنفرانس بین المللی، MPC’98 Marstrand، سوئد، 15–17 ژوئن 1998 مجموعه مقالات
موضوع اصلی: ریاضیات
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: David Harel (auth.) – Johan Jeuring (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1998
تعداد صفحه: 388
حجم کتاب: 3 مگابایت
کد کتاب: 3540645918 , 9783540645917
نوبت چاپ: 1
توضیحات کتاب ریاضیات ساخت برنامه: چهارمین کنفرانس بین المللی، MPC’98 Marstrand، سوئد، 15–17 ژوئن 1998 مجموعه مقالات
این کتاب مجموعه مقالات داوری چهارمین کنفرانس بین‌المللی ریاضیات ساخت برنامه، MPC’98 است که در مارستراند، نزدیک گوتبورگ، سوئد، در ژوئن 1998 برگزار شد. همچنین شامل سه مشارکت دعوت شده است. این جلد به استفاده از ریاضیات واضح و واضح در کشف و طراحی الگوریتم ها و در توسعه نرم افزار و سخت افزار مربوطه اختصاص داده شده است. رویکردهای مختلف به روش های رسمی برای طراحی و تحلیل سیستم ها پوشش داده شده است.
This book consitutes the refereed proceedings of the 4th International Conference on Mathematics of Program Construction, MPC’98, held in Marstrand, near Goteborg, Sweden, in June 1998. The 17 revised full papers presented were selected from 57 submissions; also included are three invited contributions. The volume is devoted to the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; varoius approaches to formal methods for systems design and analysis are covered.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.