دانلود کتاب Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR’96 Stockholm, Sweden, August 28–30, 1996 Proceedings (به فارسی: سنتز و تحول برنامه منطقی: ششمین کارگاه بین المللی، LOPSTR’96 استکهلم، سوئد، 28 تا 30 اوت، 1996 مجموعه مقالات) نوشته شده توسط «I. J. Hayes – R. G. Nickson – P. A. Strooper (auth.) – John Gallagher (eds.)»
اطلاعات کتاب سنتز و تحول برنامه منطقی: ششمین کارگاه بین المللی، LOPSTR’96 استکهلم، سوئد، 28 تا 30 اوت، 1996 مجموعه مقالات
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: I. J. Hayes – R. G. Nickson – P. A. Strooper (auth.) – John Gallagher (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1997
تعداد صفحه: 331
حجم کتاب: 3 مگابایت
کد کتاب: 3540627189 , 9783540627180
نوبت چاپ: 1
توضیحات کتاب سنتز و تحول برنامه منطقی: ششمین کارگاه بین المللی، LOPSTR’96 استکهلم، سوئد، 28 تا 30 اوت، 1996 مجموعه مقالات
این کتاب مجموعه مقالات پس از کارگاه آموزشی ششمین کارگاه بین‌المللی سنتز و تبدیل برنامه منطقی، LOPSTR’96 است که در کشتی از استکهلم به هلسینکی در اوت 1996 برگزار شد.
17 مورد تجدیدنظر شده مقالات کامل از مجموع 27 مقاله ارسالی اولیه با دقت انتخاب شدند. موضوعات دربرگیرنده حوزه‌های ترکیب برنامه‌ها از مشخصات، تأیید، تغییر شکل، تخصصی‌سازی و تحلیل برنامه‌ها و استفاده از طرح‌واره‌های برنامه در توسعه برنامه است.
This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR’96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.
The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.