مشخصات کتاب

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 

در صورت تبدیل فایل کتاب 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.

نظرات کاربران

کتاب های تصادفی

دانلود کتاب 非可換環

دانلود کتاب 75 habits for a happy marriage: marriage advice to recharge and reconnect every day

دانلود کتاب Free Will and Predestination in Islamic Thought: Theoretical Compromises in the Works of Avicenna, al-Ghazālī and Ibn ’Arabī

دانلود کتاب Peter of New Amsterdam

دانلود کتاب Digital Twin: A Dynamic System and Computing Perspective