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

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.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: 01655691
Price: 51.01 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.01 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Fantastische Häkelfreunde 2 Amigurumipatterns.net

Paperback

16.00 €

No em toqueu els picarols MACAYA FONTS

Paperback

24.19 €

Kártyavetés, de hogyan Carla Ferguson

Paperback

12.59 €

Die Chemische Blockierung Des Adrenergischen Systems Am Menschen Arnold Bernsmeier

Paperback

55.01 €

Bis die Sterne zittern Johannes Herwig

Adobe ePub DRM

9.19 €

Ueber Wissenschaftliche Und Nichtwissenschaftliche Philosophie (1883) Alois Riehl

Paperback

18.20 €

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

Blu-ray

19.79 €

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

Paperback

57.19 €

Der große Gatsby F. Scott Fitzgerald

Hardback

13.00 €

Beethovens Kammermusik Albrecht Riethmüller

Hardback

98.00 €

Tonnus Oosterhoff en zijn "bewegende gedichten" Kristina Fittges

Paperback

14.30 €

Racconti di Natale Charles Dickens

Paperback

6.49 €

Geometrie Symplectique et Mecanique Claude Albert

Paperback

35.79 €

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

Paperback

14.59 €

Lumière sur Alzheimer Dr Ky Tran

Paperback

17.59 €

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

Hardback

31.79 €

Sieben Abende vor dem Schlafengehen - Flugmaschinen Patrik Lumen

Paperback

13.10 €

1000 STICKERS Miraculous

Paperback

7.99 €

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

Hardback

200.57 €

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

Paperback

35.19 €

Historisch-literarisch-bibliographisches Magazin Johannes Georgius Meusel

Paperback

36.90 €

Geistliches Send-Schreiben Fidel Enda

Paperback

13.90 €

Kundenloyalitat als Erfolgsgroesse im Customer Relationship Management Lars Edingloh

Paperback

74.00 €

Übungen zum italienischen Wortschatz Wolfgang Reumuth

Paperback

10.60 €

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.