Stock image for illustration purposes only - book cover, edition or condition may vary.
Logic-Based Program Synthesis and Transformation
Germ N Puebla
€ 66.41
FREE Delivery in Ireland
Description for Logic-Based Program Synthesis and Transformation
Paperback. Contains sections on tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis. Series: Lecture Notes in Computer Science. Num Pages: 248 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 790.
This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006. The 14 revised full papers cover tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis.
This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006. The 14 revised full papers cover tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis.
Product Details
Format
Paperback
Publication date
2007
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
248
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
240
Place of Publication
Berlin, Germany
ISBN
9783540714095
SKU
V9783540714095
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Logic-Based Program Synthesis and Transformation