Free delivery for orders over 69.99€

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

Free delivery for purchases over 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Logic Program Synthesis and Transformation

Name: Logic Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02172590
Price: 54.56 EUR
Availability: InStock
Author: Yves Deville
ISBN: 9783540198642

Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993

Yves Deville

Language

English

Book Paperback

Libristo code: 02172590

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, January 1994

This volume contains the papers from the Third International Workshop on Logic Program Synthesis and... Full description

Libristo code: 02172590

132 b

54.56 €

106.72 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Bonusprogramme Thomas Lauer

Hardback

50.00 € 97.79 лв

THE PROMISED NEVERLAND 2 (VO JAPONAIS) Collefctif

Paperback

12.76 € 24.95 лв

Garage band Gosse

Paperback

23.18 € 45.34 лв

Don od tromede Vinja Stahuljak

Hardback

47.77 € 93.43 лв

Grüße aus der Fünften Kolonne ? Von Kaliningrad in die DDR und zurück EK-2 Militär

Paperback

9.69 € 18.96 лв

Quando il rosso è nero Xiaolong Qiu

Paperback

14.57 € 28.50 лв

Rouge Bocage Christophe

Paperback

23.60 € 46.15 лв

Miroir des cinq millénaires Tome 6 L'APPEL des ALIZES Michel

Paperback

36.98 € 72.32 лв

Friedemann Bach (1859) Albert Emil Brachvogel

Paperback

54.46 € 106.51 лв

Impara l'Ungherese - Velocemente / Facilmente / Efficiente: 2000 Vocaboli Chiave Pinhok Languages

Paperback

13.12 € 25.66 лв

Olomoucký bestiář Vlastimil Vondruška

Audio CD

13.33 € 26.06 лв

Selection de lectures en espagnol facile Volume 5 Alvaro Parra Pinto

Paperback

7.67 € 15.00 лв

Kreislaufproblematik und Anaesthesie bei geriatrischen Patienten G. Haldemann

Paperback

56.07 € 109.66 лв

Daughter of the Commandant Aleksandr Sergeevich Pushkin

Paperback

12.44 € 24.34 лв

MusikerMedizin Claudia Spahn

Hardback

35.06 € 68.57 лв

This volume contains the papers from the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93), held in Louvain-la-Neuve, Belgium, from 7-9 July 1993. Logic program synthesis and transformation play a vital role in the automation of the software production process, and the LOPSTR workshops are currently the only international meetings devoted to these important areas of research. LOPSTR 93 provided an opportunity for the presentation of new research (including work in progress), and also for the discussion of new trends in logic program development and other related areas. Many of the techniques described promise to revolutionise the software industry once they become standard practice. Logic Program Synthesis and Transformation provides a comprehensive overview of the latest advances in automatic program development. It will be of interest to researchers and postgraduate students alike.