دانلود کتاب Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96 Stockholm, Sweden, August 28–30, 1996 Proceedings

Name: Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96 Stockholm, Sweden, August 28–30, 1996 Proceedings
Availability: InStock
Author: I. J. Hayes
ISBN: 3540627189, 9783540627180

by I. J. Hayes, R. G. Nickson, P. A. Strooper (auth.), John Gallagher (eds.)

عنوان فارسی: سنتز و تحول برنامه منطقی: ششمین کارگاه بین المللی، LOPSTR'96 استکهلم، سوئد، 28 تا 30 اوت، 1996 مجموعه مقالات
ناشر: Springer-Verlag Berlin Heidelberg
سال: 1997
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 331-333
شابک: 3540627189, 9783540627180
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 18.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

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.