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: 55.93 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

55.93 €

Low in stock at our supplier
Shipping in 11 - 15 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Haikyu!!, Vol. 14
7.89 € -25 %
Buy
Dekorative Handarbeiten
10.94 € -10 %
Buy
Rising Of The Shield Hero Volume 08: Light Novel
10.63 € -25 %
Buy
Treasure Island and The Ebb-Tide
9.72 € -29 %
Buy
Maltese Falcon
10.43 € -30 %
Buy
E-Myth Contractor
13.47 € -24 %
Buy
Disney: Raya und der letzte Drache
9.31 €
Buy
Usborne Book and Jigsaw Trains
10.02 € -24 %
Pre-order
Ja, pesnička 2
4.65 € -24 %
Buy
Close-Up B2 with DVD
30.19 €
Buy
Ja genau!
28.67 €
Buy
Cesta z lebek Tyrani a králové
9.72 € -21 %
Buy
Google Cloud Platform in Action
58.26 €
Buy
Unofficial Big Lebowski Cocktail Book
16.10 € -24 %
Buy
Świat równoległy wyd. 2
14.38 €
Buy
Secret Kingdom: Magic Mountain
7.69 € -25 %
Buy
Introduction to MicroStation: A Project-Based Approach for Learning MicroStation V8i (SELECTseries 3)
31.20 € -7 %
Buy
Die Polen in Oberschlesien
13.27 € -9 %
Buy
Gottesfreundin
31.20 €
Buy
Opowieść wigilijna
5.97 € -19 %
Buy
Ma, I've Reached for the Moon an I'm Hittin the Stars
17.12 € -24 %
Buy
Enterococcus faecalis
306.46 € -9 %
Buy
Journal d'un Noob - Tome 8
17.12 €
Buy
Tea By The Nursery Fire
22.29 €
Buy
Return of History
14.68 € -14 %
Pre-order
Text Book of Boxing
16.21 € -24 %
Buy
Aventures del capita calçotes
9.72 € -10 %
Buy
Forensic Ballistics in Court - Interpretation and Presentation of Firearms Evidence
138.93 € -3 %
Buy
Huevo de Dragón (Dragon Egg Spanish Edition)
18.33 €
Buy
Graph Based Representations in Pattern Recognition
55.93 €
Buy
Degas
20.87 €
Buy
Guide Et Formulaire de Therapeutique Generale Et Speciale
31.71 €
Buy
Největší současní básníci
7.29 € -15 %
Buy
Namen der Saugethiere bei den sudsemitischen Voelkern
40.53 € -7 %
Buy
Season of Birth and Schizophrenia
50.05 € -3 %
Buy
Country Quilts for Friends
19.14 € -18 %
Buy
Mujeres artistas
51.57 €
Buy
Salt & Light: Being The Hands & Feet of Christ (in a cruel and dangerous world)
8.10 € -7 %
Buy
La Troisi?me République française et ce qu'elle vaut
10.02 € -6 %
Buy
Peasant Uprisings in Seventeenth-Century France, Russia and China
215.15 €
Buy
Nuclear Weapons Counterproliferation
129.41 €
Buy
Cambridge Natural History Volume 5
39.21 € -1 %
Buy
Lonely Planet Pocket Ibiza
19.65 €
Buy
Time as a Metaphor of History: Early India
11.14 €
Buy
Histoire amoureuse des Gaules suivie des Romans historico-satiriques du XVIIe siecle, Tome I
35.16 €
Buy
International Directory of Company Histories
549.08 €
Buy
Kunst als Spiegel des Glaubens
29.58 € -5 %
Buy
From Understanding to Action
109.54 €
Buy
Aufsichtsrat der AG im Bankgesellschaftsrecht
103.16 €
Buy
SINFONIE F MAJOR FALCK 67 ORCHESTRE
25.93 €
Buy
Animal Group Behavior
9.72 € -9 %
Buy
Towards a Service-Based Internet. ServiceWave 2010 Workshops
63.53 €
Buy
Etude Des Accidents Dans Les Zones Critiques Du Profil Longitudinal
57.05 €
Buy
Cuerpazo Para Siempre (Spanish Original): Mi Método Para Transformar Tu Figura En Un Cuerpo de Infarto
15.80 € -9 %
Buy
Taak of the Toon
10.23 € -19 %
Buy
Kunstlers Erdewallen. Briefe Von Moritz V. Schwind
22.29 €
Buy
Les Eaux Residuaires DES Industries Agricoles at Alimentaites
270.18 €
Buy
English Auxiliaries
46.20 €
Buy
Model-Based Reasoning in Science and Technology
216.77 €
Buy
Spoken Language Translator
60.19 €
Buy
Commentaire Sur La Structure Microscopique Du Rein Des Vertebres, A l'Occasion d'Un Memoire
13.06 € -1 %
Buy
Explorando el Alma Eterna - Perspectivas de la Vida Entre Vidas
15.70 € -2 %
Buy
The Mad Pranks And Merry Jests Of Robin Goodfellow (1841)
16.61 € -2 %
Buy
influence of commodity price shocks on share prices
18.03 € -14 %
Buy
Thelma et les enfants à table
13.57 €
Buy
Pauline Canon
57.35 €
Buy
Innovatives Beschaffungsmanagement
53.70 €
Buy
How to Live an Abundant Life
26.34 €
Buy
Does North America Exist?
46.71 €
Buy
Mujeres del Nuevo Testamento
8.60 € -24 %
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 135 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 Books in English Computing & information technology Computer science Mathematical theory of computation

55.93 €

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