Free delivery for orders over 69.99 euro.

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 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Logic Based Program Synthesis and Transformation

Name: Logic Based Program Synthesis and Transformation
Brand: Springer, Berlin
SKU: 01559466
Price: 51.69 EUR
Availability: InStock
Author: Maurice Bruynooghe
ISBN: 9783540221746

13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Maurice Bruynooghe

Language

English

Book Paperback

Libristo code: 01559466

Publishers Springer, Berlin, November 2003

This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on... Full description

Libristo code: 01559466

125 b

51.69 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

The Step Forward Years 1977-82 4CD Clamshell Box

Audio CD

57.76 €

Soldati di Salamina Javier Cercas

Paperback

26.09 €

Dezentrale Vermögensbildungsfonds. Barbara Toillié

Hardback

64.04 €

Atlas dějin USA Lauric Henneton

Paperback

14.05 €

Chemie heute SI - Ausgabe 2013 für Sachsen Wolfgang Asselborn

Sheet

12.74 €

Information im oeffentlich-rechtlichen Fernsehen Cornelia Steinigen

Paperback

16.18 €

Mein Wörter-Schreibheft - erste Rechtschreibregeln Bernadette Frechen

Sheet

4.04 €

Ehe ich mich Traue Joachim Peters

Paperback

7.38 €

Charismating - Einkauf als Erlebnis Claudius A. Schmitz

Hardback

40.46 €

Der Kinderkreuzzug Marcel Schwob

Paperback

13.04 €

Nuevas Tecnologías y Derechos Humanos Pérez Luño

Paperback

28.52 €

This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2003, held in Uppsala, Sweden in August 2003.The 12 revised full papers presented were carefully selected during two rounds of reviewing and revision from 32 submissions. Also included are an invited paper and abstracts of 5 papers presented at the workshop. The papers are organized in topical sections on specification and synthesis, verification, analysis, transformation and specialization, and constraints.