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 courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 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-Based Program Synthesis and Transformation

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

136 b

19 940 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Racconti di Natale Charles Dickens

Paperback

2 700 Ft

Geometrie Symplectique et Mecanique Claude Albert

Paperback

13 980 Ft

Lumière sur Alzheimer Dr Ky Tran

Paperback

5 520 Ft

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

Hardback

10 822 Ft

Fantastische Häkelfreunde 2 Amigurumipatterns.net

Paperback

5 316 Ft

Kártyavetés, de hogyan Carla Ferguson

Paperback

5 040 Ft

Bis die Sterne zittern Johannes Herwig

Adobe ePub DRM

3 908 Ft

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

Blu-ray

7 562 Ft

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

Paperback

22 482 Ft

Sieben Abende vor dem Schlafengehen - Flugmaschinen Patrik Lumen

Paperback

5 358 Ft

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

Hardback

77 282 Ft

Beethovens Kammermusik Albrecht Riethmüller

Hardback

36 592 Ft

Der große Gatsby F. Scott Fitzgerald

Hardback

4 918 Ft

Die Chemische Blockierung Des Adrenergischen Systems Am Menschen Arnold Bernsmeier

Paperback

20 486 Ft

Welt der Zahl - Ausgabe 2014 für Bayern Karin Baumgartner

Sheet

9 062 Ft

Slavné melodie v lehké úpravě pro klavír 6 R. Linhart

Paperback

3 302 Ft

Aberglauben aus Masuren M Toeppen

Paperback

6 270 Ft

Kundenloyalitat als Erfolgsgroesse im Customer Relationship Management Lars Edingloh

Paperback

25 626 Ft

Her a Hwyl Mathemateg - Datrys Problemau, Oed 7-9 (Problem Solving Made Easy, Ages 7-9) Joshua Head

Paperback

2 774 Ft

Übungen zum italienischen Wortschatz Wolfgang Reumuth

Paperback

3 774 Ft

Archetypen, Innere Bilder und Körpersymbolik Detlef Kappert

Paperback

5 978 Ft

L'AVENTURA DE L'HEROIC CAVALLER FILIVERT ANNE-GAELLE BALPE

Hardback

7 196 Ft

Ueber Wissenschaftliche Und Nichtwissenschaftliche Philosophie (1883) Alois Riehl

Paperback

7 400 Ft

gelosia da orango Irena Trevisan

Hardback

6 122 Ft

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.