دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Mathematics of Program Construction: Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings
دانلود کتاب ریاضیات ساخت برنامه: سومین کنفرانس بین المللی، MPC '95 Kloster Irsee، آلمان، 17-21 ژوئیه، 1995 مجموعه مقالات
مشخصات کتاب
Mathematics of Program Construction: Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings
ویرایش: [1 ed.] نویسندگان: Krzysztof R. Apt (auth.), Bernhard Möller (eds.) سری: Lecture Notes in Computer Science 947 ISBN (شابک) : 3540601171, 9783540601173 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1995 تعداد صفحات: 479 [481] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 89,000
در صورت تبدیل فایل کتاب Mathematics of Program Construction: Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ریاضیات ساخت برنامه: سومین کنفرانس بین المللی، MPC '95 Kloster Irsee، آلمان، 17-21 ژوئیه، 1995 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ریاضیات ساخت برنامه: سومین کنفرانس بین المللی، MPC '95 Kloster Irsee، آلمان، 17-21 ژوئیه، 1995 مجموعه مقالات
این جلد مجموعه مقالات سومین کنفرانس بین المللی ریاضیات ساخت
برنامه است که در ژوئیه 1995 در Kloster Irsee آلمان برگزار
شد.
علاوه بر پنج سخنرانی دعوت شده توسط محققان برجسته، 19 مقاله
اصلاح شده کامل ارائه شده است که از یک مقاله انتخاب شده است.
در مجموع 58 ارسال موضوع کلی استفاده از ریاضیات واضح و واضح در
کشف و طراحی الگوریتم ها و در توسعه نرم افزار و سخت افزار
مربوطه است. از جمله موضوعاتی که به آنها پرداخته می شود، تحول
برنامه، تجزیه و تحلیل برنامه، تأیید برنامه، و همچنین مطالعات
موردی قانع کننده است.
توضیحاتی درمورد کتاب به خارجی
This volume constitutes the proceedings of the Third
International Conference on the Mathematics of Program
Construction, held at Kloster Irsee, Germany in July
1995.
Besides five invited lectures by distinguished researchers
there are presented 19 full revised papers selected from a
total of 58 submissions. The general theme is the use of
crisp, clear mathematics in the discovery and design of
algorithms and in the development of corresponding software
and hardware; among the topics addressed are program
transformation, program analysis, program verification, as
well as convincing case studies.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Surveillance in Action: Technologies for Civilian, Military and Cyber Surveillance
دانلود کتاب Allergy and Allergic Diseases, 2 Volume Set
دانلود کتاب The Macmillan Dictionary of Films and Filmmakers: Volume II Directors/Filmmakers
