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: 61.92 EUR
Availability: InStock

by Sandro Etalle

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

61.92 €

Low in stock at our supplier
Shipping in 10 - 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

Graph Based Representations in Pattern Recognition
61.92 €
Buy
Towards a Service-Based Internet. ServiceWave 2010 Workshops
78.39 €
Buy
Model-Based Reasoning in Science and Technology
242.52 €
Buy
Nuclear Weapons Counterproliferation
170.52 €
Buy
English Auxiliaries
49.41 €
Buy
E-Myth Contractor
15.34 € -20 %
Buy
Maltese Falcon
9.14 € -26 %
Buy
Text Book of Boxing
18.70 € -19 %
Buy
Secret Kingdom: Magic Mountain
6.40 € -27 %
Buy
International Directory of Company Histories
613.78 €
Buy
Pauline Canon
55.10 € -2 %
Buy
Enterococcus faecalis
281.87 € -17 %
Buy
Google Cloud Platform in Action
61.31 €
Buy
From Understanding to Action
122.12 €
Buy
Forensic Ballistics in Court - Interpretation and Presentation of Firearms Evidence
150.89 €
Buy
Ma, I've Reached for the Moon an I'm Hittin the Stars
18.70 € -18 %
Buy
Maze Runner
10.87 € -14 %
Pre-order
Treasure Island and The Ebb-Tide
8.23 € -25 %
Buy
Haikyu!!, Vol. 14
9.85 € -13 %
Buy
Cuerpazo Para Siempre (Spanish Original): Mi Método Para Transformar Tu Figura En Un Cuerpo de Infarto
14.53 € -20 %
Buy
Namen der Saugethiere bei den sudsemitischen Voelkern
45.85 € -1 %
Buy
4-godzinne ciało
13.21 €
Buy
Fünfzig. Ein Tagebuch
19.01 € -5 %
Buy
Innovatives Beschaffungsmanagement
53.48 €
Buy
Cesta z lebek Tyrani a králové
10.46 € -12 %
Buy
Největší současní básníci
7.82 € -6 %
Buy
Ja genau!
21.55 €
Buy
Vermarktung von Unterhaltung bei Germanys next Topmodel
16.46 € -9 %
Buy
Formierung der Ministerialitat und ihre Funktionen in der salischen und staufischen Herrschaft
36.70 € -2 %
Buy
Die 50 besten Fang - und Versteckspiele
5.18 €
Buy
Der letzte Tag
16.87 € -4 %
Buy
Dekorative Handarbeiten
11.99 € -9 %
Buy
Kunst als Spiegel des Glaubens
27.95 € -9 %
Buy
Fotobücher ansprechend gestalten
22.26 € -9 %
Buy
Kunstlers Erdewallen. Briefe Von Moritz V. Schwind
25.01 €
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 154 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

61.92 €

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