Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Logic Program Synthesis and Transformation

Name: Logic Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02172590
Price: 20046 HUF
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

136 b

20 046 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Bonusprogramme Thomas Lauer

Hardback

18 365 Ft

THE PROMISED NEVERLAND 2 (VO JAPONAIS) Collefctif

Paperback

4 488 Ft

Garage band Gosse

Paperback

9 092 Ft

Quando il rosso è nero Xiaolong Qiu

Paperback

6 140 Ft

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

Paperback

3 571 Ft

Rouge Bocage Christophe

Paperback

8 193 Ft

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

Paperback

12 742 Ft

Friedemann Bach (1859) Albert Emil Brachvogel

Paperback

20 902 Ft

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

Paperback

5 032 Ft

Olomoucký bestiář Vlastimil Vondruška

Audio CD

4 488 Ft

Selection de lectures en espagnol facile Volume 5 Alvaro Parra Pinto

Paperback

2 951 Ft

Kreislaufproblematik und Anaesthesie bei geriatrischen Patienten G. Haldemann

Paperback

20 595 Ft

Daughter of the Commandant Aleksandr Sergeevich Pushkin

Paperback

4 576 Ft

MusikerMedizin Claudia Spahn

Hardback

12 886 Ft

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.