Code: 01560821

Logic Based Program Synthesis and Transformation

Name: Logic Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560821
Price: 51.69 EUR
Availability: InStock
Author: Sandro Etalle
ISBN: 9783540266556

by Sandro Etalle

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

51.69 €

RRP: 55.97 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Rising Of The Shield Hero Volume 08: Light Novel
10.61 € -25 %
Buy
Cesta z lebek Tyrani a králové
9.70 € -21 %
Pre-order
Haikyu!!, Vol. 14
7.88 € -25 %
Buy
Dekorative Handarbeiten
10.92 € -10 %
Buy
Maltese Falcon
10.41 € -30 %
Buy
Treasure Island and The Ebb-Tide
9.70 € -29 %
Buy
Maze Runner
11.02 € -10 %
Pre-order
Usborne Book and Jigsaw Trains
9.91 € -25 %
Pre-order
Ja, pesnička 2
4.64 € -24 %
Buy
Close-Up B2 with DVD
30.14 €
Buy
Ja genau!
24.07 €
Buy
Google Cloud Platform in Action
58.17 €
Buy
E-Myth Contractor
13.45 € -24 %
Buy
Unofficial Big Lebowski Cocktail Book
14.86 € -30 %
Buy
Świat równoległy wyd. 2
14.46 €
Buy
Secret Kingdom: Magic Mountain
7.68 € -24 %
Buy
Disney: Raya und der letzte Drache
7.88 €
Buy
Introduction to MicroStation: A Project-Based Approach for Learning MicroStation V8i (SELECTseries 3)
31.15 € -7 %
Buy
Die Polen in Oberschlesien
13.24 €
Buy
Gottesfreundin
16.18 € -10 %
Buy
Opowieść wigilijna
5.76 € -22 %
Buy
Ma, I've Reached for the Moon an I'm Hittin the Stars
27.11 €
Buy
Journal d'un Noob - Tome 8
16.89 €
Buy
Text Book of Boxing
16.18 € -24 %
Buy
Return of History
14.05 € -14 %
Buy
Enterococcus faecalis
305.95 € -9 %
Buy
Heilpflanze Johanniskraut
11.73 € -10 %
Buy
Tea By The Nursery Fire
22.25 €
Buy
Huevo de Dragón (Dragon Egg Spanish Edition)
18.30 €
Buy
Aventures del capita calçotes
9.70 € -10 %
Buy
Forensic Ballistics in Court - Interpretation and Presentation of Firearms Evidence
138.60 € -4 %
Buy
Histoire amoureuse des Gaules suivie des Romans historico-satiriques du XVIIe siecle, Tome I
17.90 € -6 %
Buy
Graph Based Representations in Pattern Recognition
51.69 € -7 %
Buy
Degas
20.63 €
Buy
Největší současní básníci
7.27 € -15 %
Pre-order
Mujeres artistas
46.33 € -3 %
Buy
Guide Et Formulaire de Therapeutique Generale Et Speciale
31.66 €
Buy
Nuclear Weapons Counterproliferation
129.19 €
Buy
Namen der Saugethiere bei den sudsemitischen Voelkern
28.52 € -11 %
Buy
Country Quilts for Friends
19.11 € -18 %
Buy
Season of Birth and Schizophrenia
49.97 € -3 %
Buy
Lonely Planet Pocket Ibiza
17.90 €
Buy
Time as a Metaphor of History: Early India
13.55 €
Buy
Besser leben mit dem Mondrhythmus
10.92 € -15 %
Buy
Salt & Light: Being The Hands & Feet of Christ (in a cruel and dangerous world)
8.08 € -7 %
Buy
International Directory of Company Histories
545.85 €
Buy
La Troisi?me République française et ce qu'elle vaut
10.01 € -6 %
Buy
Peasant Uprisings in Seventeenth-Century France, Russia and China
214.79 €
Buy
Cambridge Natural History Volume 5
39.15 € -1 %
Buy
Innovatives Beschaffungsmanagement
53.61 €
Buy
influence of commodity price shocks on share prices
18 € -14 %
Buy
Does North America Exist?
46.63 €
Buy
Kunst als Spiegel des Glaubens
25.89 € -11 %
Buy
From Understanding to Action
102.99 € -7 %
Buy
Etude Des Accidents Dans Les Zones Critiques Du Profil Longitudinal
55.13 € -2 %
Buy
Towards a Service-Based Internet. ServiceWave 2010 Workshops
63.43 €
Buy
Animal Group Behavior
8.39 € -25 %
Buy
SINFONIE F MAJOR FALCK 67 ORCHESTRE
25.69 €
Buy
Aufsichtsrat der AG im Bankgesellschaftsrecht
92.26 € -6 %
Buy
Cuerpazo Para Siempre (Spanish Original): Mi Método Para Transformar Tu Figura En Un Cuerpo de Infarto
15.77 € -9 %
Buy
Les Eaux Residuaires DES Industries Agricoles at Alimentaites
269.73 €
Buy
Kunstlers Erdewallen. Briefe Von Moritz V. Schwind
11.73 € -10 %
Buy
Global Technological Change
37.93 €
Buy
Model-Based Reasoning in Science and Technology
205.79 € -7 %
Buy
English Auxiliaries
46.13 €
Buy
Taak of the Toon
10.21 € -19 %
Buy
The Mad Pranks And Merry Jests Of Robin Goodfellow (1841)
16.58 € -2 %
Buy
Pauline Canon
51.69 € -7 %
Buy
Spoken Language Translator
60.09 €
Buy
Commentaire Sur La Structure Microscopique Du Rein Des Vertebres, A l'Occasion d'Un Memoire
13.04 € -1 %
Buy
Explorando el Alma Eterna - Perspectivas de la Vida Entre Vidas
15.67 € -2 %
Buy
How to Live an Abundant Life
26.30 €
Buy
Thelma et les enfants à table
13.35 €
Buy
Fünfzig. Ein Tagebuch
18.71 €
Buy
Mujeres del Nuevo Testamento
8.59 € -24 %
Buy
Human Brain During the Late First Trimester
99.25 €
Buy
Windy B - The Storm Rescue
14.76 € -25 %
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 book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2004, held in Verona, Italy in August 2004. The 17 revised full papers presented were carefully selected and revised from 23 full paper and 11 extended abstract submissions. The papers are organized in topical sections on verification and analysis, theory and security, transformations, program development, termination, and program development and synthesis.

Book details

Book category Knihy po anglicky Computing & information technology Computer science Mathematical theory of computation

51.69 €

Full title: Logic Based Program Synthesis and Transformation
Subtitle: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
Author: Sandro Etalle
Language: English
Binding: Paperback
Number of pages: 284
EAN: 9783540266556
ISBN: 3540266550
ID: 01560821
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 450 g
Dimensions: 235 × 155 × 16 mm
Date of publishing: 24. June 2005