Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Andy King
    • ‏69٫99 US$
    • ‏69٫99 US$

وصف الناشر

This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠٠٨
٢٦ نوفمبر
اللغة
EN
الإنجليزية
عدد الصفحات
٢٣٢
الناشر
Springer Berlin Heidelberg
البائع
Springer Nature B.V.
الحجم
٥٫٧
‫م.ب.‬

المزيد من الكتب المشابهة

Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
٢٠٠٩
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
٢٠١١
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠٠٩
Theoretical Aspects of Computing – ICTAC 2010 Theoretical Aspects of Computing – ICTAC 2010
Theoretical Aspects of Computing – ICTAC 2010
٢٠١٠
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠١١
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
٢٠١٧

المزيد من كتب Andy King

Baking By Hand Baking By Hand
Baking By Hand
٢٠١٣
Programming the Internet of Things Programming the Internet of Things
Programming the Internet of Things
٢٠٢١
My Life or Not My Life or Not
My Life or Not
٢٠٢٤
Anxiety In Relationship Anxiety In Relationship
Anxiety In Relationship
٢٠٢٣
England and Scotland, 1286-1603 England and Scotland, 1286-1603
England and Scotland, 1286-1603
٢٠١٥
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
٢٠١٦