Description: Logic-Based Program Synthesis and Transformation : 22nd International Symposium, Lopstr 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers, Paperback by Albert, Elvira (EDT), ISBN 3642381960, ISBN-13 9783642381966, Like New Used, Free shipping in the US This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
Price: 73.56 USD
Location: Jessup, Maryland
End Time: 2025-01-17T01:16:28.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 : 22nd Internati
Number of Pages: X, 245 Pages
Publication Name: Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Language: English
Publisher: Springer Berlin / Heidelberg
Item Height: 0.2 in
Subject: Programming / General, Software Development & Engineering / General, Transformations, Logic, Logic Design
Publication Year: 2013
Type: Textbook
Item Weight: 16 Oz
Item Length: 9.3 in
Author: Elvira Albert
Subject Area: Computers, Mathematics
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
