Code: 05274682

Logic Program Synthesis and Transformation

Name: Logic Program Synthesis and Transformation
Brand: Springer, Berlin
SKU: 05274682
Price: 51.56 EUR
Availability: InStock
Author: John Gallagher
ISBN: 9783540627180

by John Gallagher

Language: English
Binding: Paperback
Number of pages: 331
Publisher: Springer, Berlin, 1997
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

PACO Y VIVALDI
14.93 € -9 %
Buy
Diary of a Wimpy Kid Box of Books 1-4
42.28 € -24 %
Buy
That They May Face the Rising Sun
10.79 € -24 %
Buy
Home Cooking
12.91 € -23 %
Buy
MMA Mastery: Strike Combinations
10.89 € -22 %
Buy
How to Draw and Paint Figures & Landscapes
16.04 € -24 %
Buy
Horrid Henry Early Reader: Horrid Henry Gets Rich Quick
9.58 € -20 %
Buy
Maintainable JavaScript
28.55 € -24 %
Buy
Forest
23.30 € -25 %
Buy
Entspannte Fantasiereisen für gefühlsstarke Kinder
18.96 € -6 %
Buy
Digging a Hole
12.51 € -7 %
Buy
Business Teacher's Resource
26.94 € -7 %
Buy
Sohrab Sepehri
22.29 € -25 %
Buy
Quaint Cats Grayscale Adult Coloring Book
8.06 € -6 %
Buy
What Happened Here
13.41 € -9 %
Buy
Algebra Lineal I - Esquemas De Teoria Y Problemas Resueltos
104.55 € -2 %
Buy
The Casus Codicis of Wilhelmus de Cabriano
105.86 €
Buy
Sprachwandel
112.32 € -25 %
Buy
Formulaire de maths
26.23 €
Buy
Media Culture
199.32 €
Buy
El fabricant de petons i altres relats
21.59 €
Buy
Afrikanische Kunst
36.73 € -7 %
Buy
Illuminating the Life of the Buddha
73.06 €
Buy
"On the Highway": Analiticheskoe chtenie v tvorcheskom vuze
55 € -14 %
Buy
Spot The Differences
12.71 € -25 %
Buy
SAARLAND 2 MAPY 1:50 000
18.86 €
Buy
Gutsy Girls Go for Science: Programmers: With STEM Projects for Kids
18.56 € -9 %
Buy
My Math Spanish Student Edition Package Grade 3
62.16 €
Buy
Elektrolytkondensatoren
118.88 € -4 %
Buy
Intensivkurs Anatomie
115.25 €
Buy
Independent central banks and economic performance
437.31 €
Buy
Recent Advances in Toxoplasmosis Research
200.23 € -10 %
Buy
Representations of Gender on the Nineteenth-century American Stage
39.86 €
Buy
Victorian Radicals and Italian Democrats
123.83 €
Buy
Experiment in Occupation
39.45 €
Buy
Memoir on the Countries about the Caspian and Aral Seas, Illustrative of the Late Russian Expedition Against Khi Vah. Translated from the German by Ca
18.16 € -2 %
Buy
Works of Aphra Behn: v. 7: Complete Plays
164.70 €
Buy
ALLELUIA CANTATE DOMINO MUSIQUE D'ENSEMBLE
17.96 €
Buy
Schule für die Altblockflöte
23.41 €
Buy
Buses of Shropshire and Mid Wales
22.80 € -9 %
Buy
Flight of the Eagle. [A Novel.]
23.51 € -25 %
Buy
Electromagnetic Field Computation by Network Methods
109.09 €
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 Program Synthesis and Transformation

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.

Book details

Book category Books in English Computing & information technology Computer science

51.56 €

Full title: Logic Program Synthesis and Transformation
Subtitle: 6th International Workshop, LOPSTR' 96, Stockholm, Sweden, August 28-30, 1996. Proceedings
Author: John Gallagher
Language: English
Binding: Paperback
Number of pages: 331
EAN: 9783540627180
ISBN: 3540627189
ID: 05274682
Publisher: Springer, Berlin
Weight: 438 g
Dimensions: 234 × 156 × 18 mm
Published: 1997