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.01 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.01 €

RRP: 50.93 €

You save 3.92 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Blankets
26.10 € -25 %
Buy
Untamed Hunger (The Infinite City #4)
16 € -17 %
Buy
KPop Demon Hunters POP! Animation Vinyl Figure Zoey 9 cm
21.40 € -6 %
Pre-order
Mobile Suit Gundam Thunderbolt, Vol. 1
12.09 € -28 %
Buy
Le capital au XXIe siecle
17.50 €
Buy
Rick and Morty Presents, Vol. 2
14.60 € -25 %
Buy
History of World Egyptology
199.67 €
Buy
U.S.-Taiwan Relations
29.80 €
Buy
OBOE CONCERTO IN C HOB.VIIG:C1 HAUTBOIS
39.11 €
Buy
Steam Trains Today
13.80 € -24 %
Buy
Predicative Arithmetic. (MN-32)
119.54 €
Buy
Direct Speech in Nonnus' Dionysiaca: Narrative and Rhetorical Functions of the Characters' "Varied" and "Many-Faceted" Words
190.67 €
Buy
Influenza Virus
149.35 € -9 %
Buy
Fortschritte der Chemie organischer Naturstoffe/Progress in the Chemistry of Organic Natural Products
51.01 € -7 %
Buy
Philosophy of Religion
39.51 €
Buy
Kognitive Prozesse als Bestimmungsgroessen des Konsumentenverhaltens und ihre Beeinflussbarkeit durch das Marketing
16.90 € -10 %
Buy
Clinical CT
70.62 €
Buy
Twelve Daring Grays: A Whale Migration Adventure
13.90 € -25 %
Buy
RNAi and microRNA-Mediated Gene Regulation in Stem Cells
109.53 € -9 %
Buy
Foundations in Sociolinguistics
393.85 €
Buy
SOUTHERN TIBET, DISCOVERIES IN FORMER TI
36.90 € -1 %
Buy
The Honor And Integrity Of America
12.19 € -7 %
Buy
Expertenwissen Nacken
45.81 € -6 %
Pre-order
The Archaeology of Political Spaces
98.23 € -4 %
Buy
Suppenglück
19.50 € -11 %
Buy
Irena's Children: Young Readers Edition; A True Story of Courage
7.19 € -24 %
Buy
Manual de entrenamiento en habilidades de la Terapia Dialéctico Conductual Radicalmente Abierta (DBT-RO)
63.92 € -9 %
Buy
Einheit Auf Befehl?
52.51 € -4 %
Buy
Antiquites Etrusques, Grecques Et Romaines Tirees Du Cabinet de M. Hamilton. Tome 2
27.70 €
Buy
Un escandalo en Bohemia
7.79 € -7 %
Buy
Same Day Dentistry Revolution
11.19 € -24 %
Buy
Fading Light
29.90 € -22 %
Buy
Top 25 Property Management KPIs of 2011-2012
42.61 € -7 %
Buy
Ghosts - Notes from a Field Study
19.50 €
Buy
EL ORACULO DEL DESTINO SAGRADO
34.20 €
Buy
Konig Von Sion
22.10 € -11 %
Buy
Transactions in Bionic Patents, Vol. 8
16 € -14 %
Buy
God and the Cosmos: A Critical Analysis of Atheism, Materialism and Evolutionism
36.90 € -1 %
Buy
Code Manuel de la Presse. Texte de la Nouvelle Loi, Article Par Article, La Legislation Anterieure
25.70 €
Buy
PRIZE ESSAY ON ADULT EDUCATION, AND HOW
28 € -1 %
Buy
In the Museum of Man
156.95 €
Buy
High Point of Persistence
24.80 €
Buy
Autonomy in Jewish Philosophy
42.51 €
Buy
Practical User Research
48.71 € -24 %
Buy
Dieta a Base de Plantas
15.20 €
Buy
ESPAÑA Y NAPOLES
86.23 € -9 %
Buy
Great Snowball Fight on Icicle Street
24.10 €
Buy
All Elevations Unknown
15.20 € -18 %
Buy
Hong Kong Protest Leaders - Sick facts that Western countries do not know
7.39 €
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.