Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer International Publishing AG
SKU: 09249952
Price: 54.47 EUR
Availability: InStock
Author: Maurizio Proietti
ISBN: 9783319178219

24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Maurizio Proietti

Hirohisa Seki

Език

Английски език

Книга С меки корици

Код Либристо: 09249952

Издателство Springer International Publishing AG, април 2015

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International... Цялото описание

Код Либристо: 09249952

132 b

54.47 €

106.54 лв

Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

Kirchen - verständlich gemacht. Eine illustrierte und verständliche Baustilkunde zur christlichen Architektur: Kathedralen, Kapellen, Klöstern, Abteie Denis McNamara

С меки корици

9.16 € 17.92 лв

MEJORA DE LAS FUNCIONES EJECUTIVAS Y CONDUCTUALES 2 (ALUMNO) NOELIA GARCIA GONZALEZ

С меки корици

47.27 € 92.46 лв

M'as-tu vu en cadavre ? Malet

С твърди корици

21.54 € 42.12 лв

45 Recettes de Repas pour la Réduction des Crampes musculaires: Eliminez les crampes musculaires pour de bon en utilisant une nourriture intelligente Joe Correa Csn

С меки корици

15.74 € 30.78 лв

Biologie víry Bruce H. Lipton

С твърди корици

16.10 € 31.49 лв

Globalización y salud mental Antoni Talarn

С меки корици

39.82 € 77.88 лв

Justizmord Hans-Rudolph Schneider

С меки корици

19.05 € 37.26 лв

Untersuchungen über Gegenstände der höheren Geodäsie Carl Fr. Gauß

С меки корици

94.71 € 185.24 лв

Je te vois reine des quatre parties du monde Alexandre Lapierre

С меки корици

14.70 € 28.75 лв

Leadership John C. Maxwell

Книга

12.99 € 25.41 лв

Mystische Dimensionen der Psyche Lars Tischler

С меки корици

17.14 € 33.51 лв

Pokrevenstvo Amberu Roger Zelazny

С твърди корици

9.06 € 17.71 лв

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014.§§The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming, and program transformation and optimization.