دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Mathematics of Program Construction: 4th International Conference, MPC'98 Marstrand, Sweden, June 15–17, 1998 Proceedings
دانلود کتاب ریاضیات ساخت برنامه: چهارمین کنفرانس بین المللی، MPC'98 Marstrand، سوئد، 15–17 ژوئن 1998 مجموعه مقالات
مشخصات کتاب
Mathematics of Program Construction: 4th International Conference, MPC'98 Marstrand, Sweden, June 15–17, 1998 Proceedings
ویرایش: [1 ed.] نویسندگان: David Harel (auth.), Johan Jeuring (eds.) سری: Lecture Notes in Computer Science 1422 ISBN (شابک) : 3540645918, 9783540645917 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1998 تعداد صفحات: 388 [392] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 Mb
قیمت کتاب (تومان) : 41,000
در صورت تبدیل فایل کتاب Mathematics of Program Construction: 4th International Conference, MPC'98 Marstrand, Sweden, June 15–17, 1998 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ریاضیات ساخت برنامه: چهارمین کنفرانس بین المللی، MPC'98 Marstrand، سوئد، 15–17 ژوئن 1998 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ریاضیات ساخت برنامه: چهارمین کنفرانس بین المللی، 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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Der CMS-Guide: Content Management-Systeme: Erfolgsfaktoren, Geschäftsmodelle, Produktübersicht
دانلود کتاب On the classification of 2-gerbes and 2-stacks
