Code: 01561746

Logic Based Program Synthesis and Transformation

Name: Logic Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561746
Price: 55.73 EUR
Availability: InStock
Author: Patricia M. Hill
ISBN: 9783540326540

by Patricia M. Hill

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

55.73 €

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

Le Grand Atlas géographique du monde 6e ed
75.11 €
Buy
D.N. Angel Pearls 2
10.89 € -10 %
Buy
Faust
23.21 € -11 %
Buy
The Burgess Bird Book for Children: Large Print
9.78 € -6 %
Buy
Uniforms of Imperial and Soviet Russia in Color: As Illustrated by Herbert Knotel, Jr 1907-1946
44.32 € -9 %
Buy
Анна Каренина
26.95 € -11 %
Buy
Atlas of the Human Brain
266.55 €
Buy
Collecta zestaw Zwierzęta morskie 2
12.21 € -5 %
Buy
Students Who Move and Transfer Schools
16.95 € -17 %
Buy
The Phantom of the Opera
12.41 € -6 %
Buy
Patientenratgeber Mastzellaktivierungssyndrom (MCAS)
19.17 € -10 %
Buy
Golden Calf
13.12 € -25 %
Buy
Religion and Politics in Presidential Elections
20.28 €
Buy
Resume de Repetitions Ecrites Sur Le Droit Penal. Code Penal Et Code d'Instruction Criminelle
26.85 €
Buy
Documentos postúmos del Club Pickwick
12.11 € -9 %
Buy
VILLANUEVA
21.40 €
Buy
100 Years of Spanish Cinema
55.52 €
Buy
Lucretius
41.59 €
Buy
DDR-Wohnungspolitik ab 1971 und ihre Darstellung in den DEFA-Filmen "Die Legende von Paul und Paula und "Insel der Schwane.
17.05 € -10 %
Buy
Elizabethan Translation and Literary Culture
143.67 € -4 %
Buy
Theology and Theologians of Scotland, Chiefly of the Seventeenth and Eighteenth Centuries
22.51 €
Buy
Plan de Confederation Europeenne Et Universelle Du Livre Precurseur
13.01 € -1 %
Buy
The Scarlet Pimpernel
27.35 € -2 %
Buy
Goodbye Istanbul
14.83 € -5 %
Buy
Die Idee der Bibliothek und ihre Zukunft
17.96 € -11 %
Buy
Ökologie des Purpurreihers (Ardea purpurea) in Numidia N. E. Algerien
48.86 € -11 %
Buy
Im Herzland
25.84 € -8 %
Buy
Poetry of the Pentateuch
38.16 € -1 %
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 post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The 10 revised full papers presented together with one invited talk were carefully selected and revised from 33 submissions. The papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.

Book details

Book category Books in English Computing & information technology Computer programming / software development

55.73 €

Full title: Logic Based Program Synthesis and Transformation
Subtitle: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
Author: Patricia M. Hill
Language: English
Binding: Paperback
Number of pages: 182
EAN: 9783540326540
ISBN: 3540326545
ID: 01561746
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 630 g
Dimensions: 235 × 155 × 20 mm
Date of publishing: 23. March 2006