Description: Logic Based Program Synthesis And Transformation : 15th International Symposium, Lopstr 2005, London, Uk, September 7-9, 2005, Revised Selected Papers, Paperback by Hill, Patricia M. (EDT), ISBN 3540326545, ISBN-13 9783540326540, Brand New, Free shipping in the US This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The 10 revised full papers presented together with one invited talk were carefully selected and revised from 33 submissions. The papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.
Price: 66.41 USD
Location: Jessup, Maryland
End Time: 2024-08-16T17:52:44.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 : 15th Internati
Number of Pages: X, 182 Pages
Publication Name: Logic Based Program Synthesis and Transformation : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
Language: English
Publisher: Springer Berlin / Heidelberg
Publication Year: 2006
Subject: Programming / General, Intelligence (Ai) & Semantics, Computer Science, Logic Design
Item Weight: 22.2 Oz
Type: Textbook
Subject Area: Computers
Item Length: 9.3 in
Author: Patricia M. Hill
Series: Lecture Notes in Computer Science Ser.
Item Width: 6.1 in
Format: Trade Paperback
