Darmowa dostawa dla zamówień powyżej 299,00 zł.

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: 222.82 PLN
Availability: InStock
Author: Danny De Schreye
ISBN: 9783642125911

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

Danny De Schreye

Język

Angielski

Książka Miękka

Kod Libristo: 01655691

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, kwiecień 2010

This volume constitutes the thoroughly refereed post-conference proceedings of the 19th Internationa... Cały opis

Kod Libristo: 01655691

125 b

222.82 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Bis die Sterne zittern Johannes Herwig

Adobe ePub DRM

47.27 zł

Vyděšený kalous Zuzana Pospíšilová

Twarda

31.14 zł

Sieben Abende vor dem Schlafengehen - Flugmaschinen Patrik Lumen

Miękka

60.04 zł

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

Twarda

127.44 zł

Lumière sur Alzheimer Dr Ky Tran

Miękka

78.11 zł

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

Miękka

32.06 zł

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

Blu-ray

91.59 zł

Racconti di Natale Charles Dickens

Miękka

30.83 zł

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

Miękka

249.57 zł

Fantastische Häkelfreunde 2 Amigurumipatterns.net

Miękka

58.61 zł

Kártyavetés, de hogyan Carla Ferguson

Miękka

55.75 zł

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

Miękka

153.78 zł

Geometrie Symplectique et Mecanique Claude Albert

Miękka

156.13 zł

Beethovens Kammermusik Albrecht Riethmüller

Twarda

444.01 zł

Der große Gatsby F. Scott Fitzgerald

Twarda

59.53 zł

Die Chemische Blockierung Des Adrenergischen Systems Am Menschen Arnold Bernsmeier

Miękka

228.84 zł

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

Miękka

37.98 zł

Aberglauben aus Masuren M Toeppen

Miękka

69.64 zł

Kundenloyalitat als Erfolgsgroesse im Customer Relationship Management Lars Edingloh

Miękka

284.30 zł

gelosia da orango Irena Trevisan

Twarda

70.25 zł

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

Twarda

869.86 zł

Übungen zum italienischen Wortschatz Wolfgang Reumuth

Miękka

41.66 zł

Archetypen, Innere Bilder und Körpersymbolik Detlef Kappert

Miękka

65.96 zł

1000 STICKERS Miraculous

Miękka

34.71 zł

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.