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: 218.99 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

218.99 zł

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

30 dni na zwrot towaru

Klienci kupili także

Racconti di Natale Charles Dickens

Miękka

30.60 zł

Geometrie Symplectique et Mecanique Claude Albert

Miękka

153.45 zł

Lumière sur Alzheimer Dr Ky Tran

Miękka

65.83 zł

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

Twarda

132.78 zł

Fantastische Häkelfreunde 2 Amigurumipatterns.net

Miękka

57.60 zł

Kártyavetés, de hogyan Carla Ferguson

Miękka

54.69 zł

Bis die Sterne zittern Johannes Herwig

Adobe ePub DRM

46.56 zł

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

Blu-ray

90.22 zł

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

Miękka

245.29 zł

Sieben Abende vor dem Schlafengehen - Flugmaschinen Patrik Lumen

Miękka

59.01 zł

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

Twarda

859.64 zł

Beethovens Kammermusik Albrecht Riethmüller

Twarda

436.59 zł

Der große Gatsby F. Scott Fitzgerald

Twarda

58.81 zł

Die Chemische Blockierung Des Adrenergischen Systems Am Menschen Arnold Bernsmeier

Miękka

224.91 zł

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

Karta

108.09 zł

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

Miękka

37.33 zł

Aberglauben aus Masuren M Toeppen

Miękka

68.44 zł

Kundenloyalitat als Erfolgsgroesse im Customer Relationship Management Lars Edingloh

Miękka

279.41 zł

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

Miękka

31.50 zł

Übungen zum italienischen Wortschatz Wolfgang Reumuth

Miękka

41.14 zł

Archetypen, Innere Bilder und Körpersymbolik Detlef Kappert

Miękka

64.83 zł

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

Twarda

78.78 zł

Ueber Wissenschaftliche Und Nichtwissenschaftliche Philosophie (1883) Alois Riehl

Miękka

81.99 zł

gelosia da orango Irena Trevisan

Twarda

69.34 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.