Code: 01663644

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01663644
Price: 47.51 EUR
Availability: InStock
Author: Elvira Albert
ISBN: 9783642381966

by Elvira Albert

Language: English
Binding: Paperback
Number of pages: 245
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013
More about this

47.51 €

RRP: 51.48 €

You save 3.96 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Mobile Suit Gundam Thunderbolt, Vol. 1
12.73 € -25 %
Buy
History of World Egyptology
201.82 €
Buy
U.S.-Taiwan Relations
33.76 €
Buy
OBOE CONCERTO IN C HOB.VIIG:C1 HAUTBOIS
40.84 €
Buy
Clinical CT
71.38 €
Buy
Steam Trains Today
14.15 € -26 %
Buy
Fading Light
30.22 € -22 %
Buy
Irena's Children: Young Readers Edition; A True Story of Courage
7.27 € -24 %
Buy
Foundations in Sociolinguistics
359.96 €
Buy
Fortschritte der Chemie organischer Naturstoffe/Progress in the Chemistry of Organic Natural Products
51.66 € -7 %
Buy
Influenza Virus
150.96 € -9 %
Buy
SOUTHERN TIBET, DISCOVERIES IN FORMER TI
37.30 € -1 %
Buy
All Elevations Unknown
15.36 € -18 %
Buy
The Archaeology of Political Spaces
99.29 € -4 %
Buy
Ghosts - Notes from a Field Study
20.31 €
Buy
Kognitive Prozesse als Bestimmungsgroessen des Konsumentenverhaltens und ihre Beeinflussbarkeit durch das Marketing
17.08 € -10 %
Buy
Autonomy in Jewish Philosophy
42.96 €
Buy
Practical User Research
49.23 € -24 %
Buy
High Point of Persistence
25.07 €
Buy
Les Bains de Mer de l'Algerie
13.03 € -1 %
Buy
Transactions in Bionic Patents, Vol. 8
16.17 € -14 %
Buy
Einheit Auf Befehl?
53.08 € -7 %
Buy
Guide to Magistrates
46.20 € -9 %
Buy
Dieta a Base de Plantas
15.36 €
Buy
Expertenwissen Nacken
46.30 € -6 %
Pre-order
In the Museum of Man
158.64 €
Buy
Top 25 Property Management KPIs of 2011-2012
43.07 € -7 %
Buy
Aspects of Physical Biology
55.81 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Logic-Based Program Synthesis and Transformation

Book details
Synopsis
Trending among others

You get 115 loyalty points

Book synopsis

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.