Timothy P. Clement & Kung-Kiu Lau 
Logic Program Synthesis and Transformation [PDF ebook] 
Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991

الدعم

Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. The techniques involved in synthesis and transformation are extremely important as they allow the systematic construction of correct and efficient programs and have the potential to enhance current methods of software production. Transformation strategies are also being widely used in th...

قراءة المزيد
€57.60
طرق الدفع
قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!
لغة الإنجليزية ● شكل PDF ● ISBN 9781447134947 ● محرر Timothy P. Clement & Kung-Kiu Lau ● الناشر Springer London ● نشرت 2013 ● للتحميل 3 مرات ● دقة EUR ● هوية شخصية 4720713 ● حماية النسخ Adobe DRM
يتطلب قارئ الكتاب الاليكتروني قادرة DRM

المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر

16٬834 كتب إلكترونية في هذه الفئة