Code: 01655691

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01655691
Price: 51.56 EUR
Availability: InStock
Author: Danny De Schreye
ISBN: 9783642125911

by Danny De Schreye

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

51.56 €

RRP: 55.84 €

You save 4.27 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

The Tempest Blade
11.19 € -29 %
Buy
Alice in Borderland, Vol. 7
14.93 € -24 %
Buy
Principles of Helicopter Flight
18.16 € -25 %
Buy
Aperture No. 261
23.30 € -16 %
Buy
Last Of The Breed
7.26 € -24 %
Buy
Yayoi Kusama
61.76 € -5 %
Buy
Slavné melodie v lehké úpravě pro klavír 6
8.57 € -16 %
Buy
PHOTODARIUM 2026
31.78 € -14 %
Pre-order
Таро. Истоки традиции. "Иллюстрированный ключ к Таро" А.Э. Уэйта, "Книга Т" С. Мазерса и другие труды классиков "английской школы". Перевод и коммента
30.37 € -12 %
Buy
Racconti di Natale
7.56 €
Buy
Minami's Lover
23.10 € -22 %
Buy
Vyděšený kalous
6.75 € -17 %
Pre-order
Many Altars of Modernity
19.37 € -7 %
Buy
Why Was Queen Victoria Such a Prude?: ...and Other Historical Myths and Follies
12.30 € -7 %
Buy
Fantastische Häkelfreunde 2
13.51 € -16 %
Buy
Vanished World
28.25 €
Buy
Resilience and Sustainability for Energy and Water
219.21 €
Buy
Rendel - Cycle of Revenge, 1 Blu-ray
21.18 €
Buy
Biology as Society, Society as Biology: Metaphors
154.01 € -7 %
Buy
gelosia da orango
17.15 €
Buy
C. Plinii Secundi Naturalis Historia, Volumes 1-2
38.14 € -1 %
Buy
Kártyavetés, de hogyan
12.81 € -14 %
Buy
Mrs. Martin's Company: And Other Stories (1896)
26.43 € -1 %
Buy
Anthropological Studies in the Strange Sexual Practices of All Races in All Ages
41.67 € -2 %
Buy
Workflow and Process Automation
102.73 € -7 %
Buy
Der große Gatsby
13.82 € -5 %
Buy
Gene, the Clinic, and the Family
55.90 €
Buy
Chapter in the History of Cleveland
25.52 € -2 %
Buy
Tall Man In A Low Land
13.92 € -24 %
Buy
Lumière sur Alzheimer
15.53 €
Buy
Geometrie Symplectique et Mecanique
36.12 € -7 %
Buy
Remembering in the Renaissance: Humanist Narratives of the Sack of Rome
201.24 €
Buy
Her a Hwyl Mathemateg - Datrys Problemau, Oed 7-9 (Problem Solving Made Easy, Ages 7-9)
7.46 €
Buy
Identificação de cultivares de tomate (Lycopersicon esculentum Mill)
57.72 € -14 %
Buy
Sieben Abende vor dem Schlafengehen - Flugmaschinen
13.21 € -6 %
Buy
In the Electric Eden: Stories
13.11 € -18 %
Buy
Quaternary Research in Britain and Ireland"
31.18 € -14 %
Buy
Ordinary People as Mass Murderers
63.37 €
Buy
Weiss Ratings Guide to Health Insurers, Spring 2024
388.86 €
Buy
Folk-Lore Society for collecting and printing Relics of Popular Antiquities,
35.62 € -14 %
Buy
Die Chemische Blockierung Des Adrenergischen Systems Am Menschen
52.98 € -7 %
Buy
Ueber Wissenschaftliche Und Nichtwissenschaftliche Philosophie (1883)
18.36 € -1 %
Buy
Aging Literacies
39.65 €
Buy
House Of Shadows
16.24 € -20 %
Buy
Beethovens Kammermusik
102.73 €
Buy
Ultimate Keto Breakfast Cookbook for Women over 50
23.71 € -24 %
Buy
Archetypen, Innere Bilder und Körpersymbolik
15.23 € -16 %
Buy
Hey Kids! Comics!
15.73 € -9 %
Buy
Kundenloyalitat als Erfolgsgroesse im Customer Relationship Management
65.80 € -11 %
Buy
Casting out Anger
19.97 €
Buy
Killer Colada
11.50 € -7 %
Buy
Selected Works of Jawaharlal Nehru
47.02 €
Buy
Where Do We Go from Here?
18.96 € -10 %
Buy
Aberglauben aus Masuren
16.14 € -10 %
Buy
Welt der Zahl - Ausgabe 2014 für Bayern
25.42 €
Buy
ESSAYS ON WOMAN'S TRUE DESTINY, RESPONSI
28.25 € -1 %
Buy
Production Planning and Control for the Mass Production Plant: Mass Production Series 1-7
28.25 € -1 %
Buy
Planning, Law and Economics
73.67 €
Buy
L'AVENTURA DE L'HEROIC CAVALLER FILIVERT
18.56 € -9 %
Buy
Dreams to Dust: A Tale of the Oklahoma Land Rush
23.20 €
Buy
Übungen zum italienischen Wortschatz
9.68 € -9 %
Buy
Church of the East and the Church of England
403.60 €
Buy
Aiden the Alligator: An interactive learning book
11.50 € -7 %
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 125 loyalty points

Book synopsis

This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009. The 14 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

Book details

Book category Books in English Computing & information technology Computer programming / software development Programming & scripting languages: general

51.56 €

Full title: Logic-Based Program Synthesis and Transformation
Subtitle: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Author: Danny De Schreye
Language: English
Binding: Paperback
Number of pages: 205
EAN: 9783642125911
ISBN: 3642125913
ID: 01655691
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 338 g
Dimensions: 235 × 155 × 12 mm
Date of publishing: 20. April 2010