Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Logic Based Program Synthesis and Transformation

Name: Logic Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01563497
Price: 51.75 EUR
Availability: InStock
Author: Kung-Kiu Lau
ISBN: 9783540421276

10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers

Kung-Kiu Lau

Language

English

Book Paperback

Libristo code: 01563497

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 2001

This book presents revised full papers from the 10th International Workshop on Logic-Based Program S... Full description

Libristo code: 01563497

125 b

51.75 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Host na večeři B. P. Walter

Hardback

13.06 €

Ergotherapie Wolfgang Presber

Hardback

39.59 €

Reciprocidad y permanencia como talante del animador rural: acciones o procesos Equipo de Apoyo Rural Cáritas Española

Paperback

7.69 €

MARCO DE LOS APENINOS A LOS ANDES EDMUNDO DE AMICIS

Paperback

16.40 €

Голос твоего рода. Исцеление родовых программ Елена Вайс

Hardback

15.89 €

Cala Ratjada (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo

Calendar

54.28 €

Vzdělávání v mateřské škole Eva Svobodová

Paperback

7.79 €

Scentos. Pachnące masy plastyczne. Walizeczka 20sztuk Book

binding.

21.56 €

Interpretation des Werkes Die gefesselte Phantasie von Ferdinand Raimund Stephanie Ebert

Paperback

16.20 €

Lumière sur mairies brunes Tome 3 Visa

Paperback

11.43 €

Je suis vivant et vous êtes morts Emmanuel Carrère

Paperback

11.03 €

Mes premières chansons - volume 3 Marine Fleury

Hardback

13.66 €

Antología (versos, reflexiones, poesías) TOMAS REDONDO GARCIA

Audio CD

13.06 €

Wika - Wika und Oberons Zorn Thomas Day

Hardback

15.79 €

Brelok Łamignat (Kajko i Kokosz)

binding.

5.66 €

funfzehn grossen Mittel fur das Pferd Regine Beatrix Dreyer

Paperback

9.11 €

Clus Muñoz Robledano

Paperback

13.36 €

Bergson Et Le Christ Des Evangiles Henri Gouhier

Paperback

31.08 €

Magicienne Le Secret Des Zippelius Histoire d'Une Nuit Lermina-J

Paperback

28.25 €

This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London, UK, in July 2000 as part of the International Conference on Computational Logic.The 10 revised full papers presented have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.