Code: 01570057

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01570057
Price: 51.68 EUR
Availability: InStock
Author: Andy King
ISBN: 9783540787686

by Andy King

This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as sof ... more

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

51.68 €

RRP: 55.96 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Rise of the Dragon
41.16 € -26 %
Buy
Ajin: Demi-human Vol. 2
13.44 € -4 %
Buy
The Notary Art of Solomon: Ars Notoria
6.87 € -6 %
Buy
Fearless
13.54 € -16 %
Buy
Rolfing Experience
20.02 € -9 %
Buy
Miki Falls, Spring
7.88 € -18 %
Buy
Incinerator
13.95 € -24 %
Buy
Clarinet for Beginners: Book 1 - Elementary
11.72 € -22 %
Buy
Extraordinary Cases.
24.98 € -24 %
Buy
Fake Leadership in Higher Education
159.31 € -4 %
Buy
Drowning In My Tea Cup: There Should Have Been A Rainbow
7.68 € -7 %
Buy
Hard Tack and Coffee
19.92 € -18 %
Buy
Autonomía de la escuela : principios y propuestas
21.54 €
Buy
Beyond Chopped Liver
33.37 € -25 %
Buy
Cholesterol Treatment
17.49 € -2 %
Buy
THINGS WE DO TO OUR FRIENDS
13.85 € -26 %
Buy
Magician's Doubts
53.40 €
Buy
Rise of Early Modern Science
138.58 €
Buy
Retail Marketing Strategy
114.90 €
Buy
Die Abenteuerlichen Fälle des Terry Lomes
8.99 € -10 %
Buy
Circoncision masculine sans risque pour l'infection par le VIH en Ouganda
35.70 € -14 %
Buy
Values
48.04 € -4 %
Buy
The Defense Of Stonington, Connecticut Against A British Squadron, August 9-12, 1814 (1864)
16.58 € -2 %
Buy
Tubbz kachnička mini Krotitelé duchů - Ray Stanz
11.72 € -5 %
Buy
Die asiatische Cholera
12.33 € -9 %
Buy
A Blueprint For Achieving Peace On Earth
14.05 € -7 %
Buy
Living Theory
111.57 €
Buy
Essays in Memory of Imre Lakatos
167.81 €
Buy
Delaware Indian Legend and the Story of their Troubles
12.63 € -14 %
Buy
Curso sobre agricultura biodinámica
23.26 €
Buy
Memoirs Of Eighty Years (1892)
30.94 € -2 %
Buy
Melekler Kiz mi, Erkek mi
9.20 € -4 %
Buy
Hekid ja aiaseinad. kodu & aia praktiline aiavihik 41
4.54 € -12 %
Buy
Prime Minister's Ironing Board and Other State Secrets
14.76 € -19 %
Buy
'Tis Grace
13.34 € -25 %
Buy
Cy Twombly et la critique américaine
35.70 €
Buy
Ad gentes. Racconti dalle missioni
20.93 €
Buy
Controlled Nanoscale Motion
102.97 € -7 %
Buy
Into the Pure ...
10 € -24 %
Buy
Manual técnico de la construcción. Gestión de la prevención de riesgos laborales y de la protección
109.14 €
Buy
Chimpanzee
35.50 € -4 %
Buy
L'Histoire Des Juifs Depuis Jesus-Christ Jusqu'a Present: Pour Servir de Suplement [Sic] & de Continuation A L'Histoire de Joseph...
30.94 € -2 %
Buy
Klar zum Feuern
9.09 € -10 %
Buy
Remarks on the Principles Adopted by Bishop Lowth in Correcting the Text of the Hebrew Bible
17.49 € -2 %
Buy
How to Knit a Love Song: A Cypress Hollow Yarn
15.06 €
Buy
Marienkirche Gelnhausen (hochwertiger Premium Wandkalender 2026 DIN A2 quer), Kunstdruck in Hochglanz
83.65 € -4 %
Buy
Last of Our Kind
19.61 € -24 %
Buy
Sulla Origine Delle Specie
17.29 € -7 %
Buy
Fourmi, Productions de l'Ete Pour Nos Recreations de l'Hiver
16.58 € -3 %
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

Book details

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

51.68 €

Full title: Logic-Based Program Synthesis and Transformation
Subtitle: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Author: Andy King
Language: English
Binding: Paperback
Number of pages: 222
EAN: 9783540787686
ISBN: 3540787682
ID: 01570057
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 365 g
Dimensions: 14 × 154 × 239 mm
Date of publishing: 18. March 2008