دانلود کتاب Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
کتاب سنتز و تحول برنامه مبتنی بر منطق: بیست و ششمین سمپوزیوم بین المللی، LOPSTR 2016، ادینبورگ، بریتانیا، 6 تا 8 سپتامبر 2016، مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب سنتز و تحول برنامه مبتنی بر منطق: بیست و ششمین سمپوزیوم بین المللی، LOPSTR 2016، ادینبورگ، بریتانیا، 6 تا 8 سپتامبر 2016، مقالات منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
نام کتاب : Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
عنوان ترجمه شده به فارسی : سنتز و تحول برنامه مبتنی بر منطق: بیست و ششمین سمپوزیوم بین المللی، LOPSTR 2016، ادینبورگ، بریتانیا، 6 تا 8 سپتامبر 2016، مقالات منتخب اصلاح شده
سری : Lecture notes in computer science #10184
نویسندگان : Manuel V. Hermenegildo, Pedro Lopez-Garcia (editors)
ناشر : Springer International Publishing
سال نشر : 2017
تعداد صفحات : 365
ISBN (شابک) : 3319631381 , 9783319631394
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 12 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات پس از کنفرانس بیست و ششمین سمپوزیوم بین المللی سنتز و تحول برنامه مبتنی بر منطق، LOPSTR 2016 است که در ادینبورگ، انگلستان، در سپتامبر 2016 برگزار شد. 20 مقاله کامل اصلاح شده ارائه شده همراه با چکیده 3 سخنرانی دعوت شده به دقت بررسی و از بین 38 مقاله ارسالی انتخاب شدند. هدف از سری LOPSTR تحریک و ترویج تحقیقات بین المللی و همکاری در توسعه برنامه های مبتنی بر منطق است. LOPSTR برای مشارکت در همه جنبه های توسعه برنامه مبتنی بر منطق، تمام مراحل چرخه عمر نرم افزار، و مسائل برنامه نویسی در ابعاد کوچک و برنامه نویسی در بزرگ باز است. LOPSTR به طور سنتی در هر پارادایم زبانی در زمینه های سنتز، مشخصات، تبدیل، تجزیه و تحلیل و تأیید، تخصص، آزمایش و گواهی، ترکیب، دستکاری برنامه/مدل، بهینه سازی، تکنیک های تبدیل در SE، وارونگی، کاربردها و ابزارها مشارکت می کند. .
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016. The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools.
پست ها تصادفی