خرید و دانلود نسخه کامل کتاب Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
قیمت اصلی 139,000 تومان بود.64,000 تومانقیمت فعلی 64,000 تومان است.
تعداد فروش: 41
| عنوان فارسی |
سنتز و تحول برنامه مبتنی بر منطق: سیزدهمین سمپوزیوم بین المللی ، LOPSTR 2003 ، اوپسالا ، سوئد ، 25-27 اوت 2003 ، نسخه های تجدید نظر شده |
|---|---|
| عنوان اصلی | Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Helko Lehmann, Michael Leuschel (auth.), Maurice Bruynooghe (eds.) |
| ISBN | 3540221743, 9783540259381 |
| سال نشر | 2004 |
| زبان | English |
| تعداد صفحات | 249 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | PDF – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 2 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این جلد شامل مقالات منتخب از LOPSTR 2003، سیزدهمین سمپوزیوم بینالمللی سنتز و تحول برنامه مبتنی بر منطق است. سری LOPSTR به تحقیق در توسعه برنامه های مبتنی بر منطق اختصاص دارد. موضوعات مورد علاقه خاص عبارتند از: مشخصات، سنتز، تایید، تبدیل، تخصص، تجزیه و تحلیل، بهینه سازی، ترکیب، استفاده مجدد، توسعه نرم افزار مبتنی بر جزء، توسعه نرم افزار مبتنی بر عامل، معماری نرم افزار، الگوهای طراحی و چارچوب ها. ، برنامه re?nement و منطق برای re?nement، اثبات به عنوان برنامه، و برنامه های کاربردی و ابزار. LOPSTR 2003 در دانشگاه اوپسالا از 25 اوت تا 27 اوت به عنوان بخشی از PLI 2003 (اصول، منطق و پیاده سازی زبان های برنامه نویسی سطح بالا) برگزار شد. PLI کنفدراسیونی از کنفرانسها و کارگاههای آموزشی سازماندهی شده توسط ACM بود که ICFP 2003 (ACM-SIGPLAN کنفرانس بینالمللی برنامهنویسی عملکردی) و PPDP 2003 (کنفرانس بینالمللی ACM-SIGPLAN در اصول و تمرین برنامهنویسی اعلامی) به عنوان رویدادهای اصلی برگزار شد. جامعه LOPSTR از سخنرانی های مشترک سخنرانان دعوت شده، و بحث های علمی فعال که توسط محل مشترک فعال شده بود، حمایت می کرد. LOPSTR 2003 سیزدهمین رویداد از سری رویدادها بود. رویدادهای گذشته در منچستر، بریتانیا (1991، 1992، 1998)، لوون لا نوو، بلژیک (1993)، پیزا، ایتالیا (1994)، آرنهم، هلند (1995)، استکهلم، سوئد (1996)، L برگزار شد. – ven، بلژیک (1997)، ونیز، ایتالیا (1999)، لندن، بریتانیا (2000)، پافوس، قبرس (2001)، و مادرید، اسپانیا (2002).
نقد و بررسیها
هنوز بررسیای ثبت نشده است.