دانلود کتاب Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR’95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings (به فارسی: سنتز و تحول برنامه منطق: پنجمین کارگاه بین المللی، LOPSTR’95 اوترخت، هلند، 20 تا 22 سپتامبر 1995 مجموعه مقالات) نوشته شده توسط «Michael Leuschel (auth.) – Maurizio Proietti (eds.)»
اطلاعات کتاب سنتز و تحول برنامه منطق: پنجمین کارگاه بین المللی، LOPSTR’95 اوترخت، هلند، 20 تا 22 سپتامبر 1995 مجموعه مقالات
موضوع اصلی: علمی-محبوب
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Michael Leuschel (auth.) – Maurizio Proietti (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1996
تعداد صفحه: 274
حجم کتاب: 3 مگابایت
کد کتاب: 3540609393 , 9783540609391
نوبت چاپ: 1
توضیحات کتاب سنتز و تحول برنامه منطق: پنجمین کارگاه بین المللی، LOPSTR’95 اوترخت، هلند، 20 تا 22 سپتامبر 1995 مجموعه مقالات
این کتاب مجموعه مقالات داوری پنجمین کارگاه بین‌المللی سنتز و تبدیل برنامه منطقی، LOPSTR’95 است که در اوترخت، هلند در سپتامبر 1995 برگزار شد.
19 مقاله ارائه شده از 40 کارگاه ارسالی انتخاب شدند. آنها یک گزارش منحصر به فرد به روز از استفاده از سنتز رسمی و تکنیک های تبدیل برای توسعه برنامه های منطقی به کمک رایانه ارائه می دهند. از جمله موضوعاتی که به آنها پرداخته می شود، ترکیب برنامه های قیاسی و استقرایی، مدل های سنتز مبتنی بر نظریه نوع سازنده، مشخصات برنامه، تجزیه و تحلیل برنامه، اثبات قضیه، و کاربرد در انواع مختلف برنامه ها است.
This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR’95, held in Utrecht, The Netherlands in September 1995.
The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Among the topics addressed are deductive and inductive program synthesis, synthesis models based on constructive type theory, program specification, program analysis, theorem proving, and applications to various types of programs.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.