دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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، مقالات منتخب اصلاح شده
مشخصات کتاب
Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
ویرایش: نویسندگان: Manuel V. Hermenegildo, Pedro Lopez-Garcia (editors) سری: Lecture notes in computer science #10184 ISBN (شابک) : 3319631381, 9783319631394 ناشر: Springer International Publishing سال نشر: 2017 تعداد صفحات: XVI, 361 [365] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 12 Mb
قیمت کتاب (تومان) : 50,000
در صورت تبدیل فایل کتاب Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سنتز و تحول برنامه مبتنی بر منطق: بیست و ششمین سمپوزیوم بین المللی، LOPSTR 2016، ادینبورگ، بریتانیا، 6 تا 8 سپتامبر 2016، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سنتز و تحول برنامه مبتنی بر منطق: بیست و ششمین سمپوزیوم بین المللی، LOPSTR 2016، ادینبورگ، بریتانیا، 6 تا 8 سپتامبر 2016، مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات پس از کنفرانس بیست و ششمین سمپوزیوم بین المللی سنتز و تحول برنامه مبتنی بر منطق، 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.
