Description: Logic-based Program Synthesis and Transformation : 24th International Symposium, Lopstr 2014, Selected Papers, Paperback by Proietti, Maurizio (EDT); Seki, Hirohisa (EDT), ISBN 3319178210, ISBN-13 9783319178219, Brand New, Free shipping in the US This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.
Price: 67.03 USD
Location: Jessup, Maryland
End Time: 2025-01-26T14:21:55.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Logic-based Program Synthesis and Transformation : 24th Internati
Number of Pages: Xii, 333 Pages
Publication Name: Logic-Based Program Synthesis and Transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Language: English
Publisher: Springer International Publishing A&G
Publication Year: 2015
Subject: Software Development & Engineering / General, Intelligence (Ai) & Semantics, Computer Science, Logic Design
Type: Textbook
Item Weight: 18.8 Oz
Item Length: 9.3 in
Subject Area: Computers
Author: Hirohisa Seki
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
