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 3.99 € DPD point 3.49 € GLS courier 4.99 € GLS point 3.99 € Croatian Post 4.99 € Overseas courier 4.99 € Box Now 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-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01655691
Price: 51.36 EUR
Availability: InStock
Author: Danny De Schreye
ISBN: 9783642125911

19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

Danny De Schreye

Language

English

Book Paperback

Libristo code: 01655691

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, April 2010

This volume constitutes the thoroughly refereed post-conference proceedings of the 19th Internationa... Full description

Libristo code: 01655691

125 b

51.36 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Fantastische Häkelfreunde 2 Amigurumipatterns.net

Paperback

13.46 €

No em toqueu els picarols MACAYA FONTS

Paperback

25.32 €

Kártyavetés, de hogyan Carla Ferguson

Paperback

12.66 €

Die Chemische Blockierung Des Adrenergischen Systems Am Menschen Arnold Bernsmeier

Paperback

52.77 €

Bis die Sterne zittern Johannes Herwig

Adobe ePub DRM

10.35 €

Ueber Wissenschaftliche Und Nichtwissenschaftliche Philosophie (1883) Alois Riehl

Paperback

19.69 €

Rendel - Cycle of Revenge, 1 Blu-ray Jesse Haaja

Blu-ray

19.90 €

Identificação de cultivares de tomate (Lycopersicon esculentum Mill) Selvarani Karuppiah

Paperback

57.50 €

Der große Gatsby F. Scott Fitzgerald

Hardback

12.86 €

Beethovens Kammermusik Albrecht Riethmüller

Hardback

97.01 €

Tonnus Oosterhoff en zijn "bewegende gedichten" Kristina Fittges

Paperback

14.37 €

Racconti di Natale Charles Dickens

Paperback

6.83 €

Geometrie Symplectique et Mecanique Claude Albert

Paperback

35.98 €

Pletení Vzory od A do Z Lesley Stanfieldová; Melody Griffiths

Paperback

15.47 €

Lumière sur Alzheimer Dr Ky Tran

Paperback

18.49 €

Таро. Истоки традиции. "Иллюстрированный ключ к Таро" А.Э. Уэйта, "Книга Т" С. Мазерса и другие труды классиков "английской школы". Перевод и коммента Анна Огински

Hardback

28.54 €

Sieben Abende vor dem Schlafengehen - Flugmaschinen Patrik Lumen

Paperback

14.17 €

1000 STICKERS Miraculous

Paperback

8.43 €

Remembering in the Renaissance: Humanist Narratives of the Sack of Rome Kenneth Gouwens

Hardback

201.64 €

Contribution l' tude Des Rouilles Du Bl (Triticum L, ) Au Maroc Hafidi Majida

Paperback

35.38 €

Historisch-literarisch-bibliographisches Magazin Johannes Georgius Meusel

Paperback

32.76 €

Geistliches Send-Schreiben Fidel Enda

Paperback

12.56 €

Kundenloyalitat als Erfolgsgroesse im Customer Relationship Management Lars Edingloh

Paperback

65.54 €

Übungen zum italienischen Wortschatz Wolfgang Reumuth

Paperback

9.64 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009. The 14 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.