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

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

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 International Publishing AG
SKU: 09249952
Price: 218.69 PLN
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

Język

Angielski

Książka Miękka

Kod Libristo: 09249952

Wydawnictwo Springer International Publishing AG, kwiecień 2015

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International... Cały opis

Kod Libristo: 09249952

125 b

218.69 zł

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

30 dni na zwrot towaru

Klienci kupili także

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

Miękka

36.37 zł

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

Miękka

192.23 zł

M'as-tu vu en cadavre ? Malet

Twarda

87.29 zł

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

Miękka

66.64 zł

Biologie víry Bruce H. Lipton

Twarda

61.03 zł

Globalización y salud mental Antoni Talarn

Miękka

160.75 zł

Justizmord Hans-Rudolph Schneider

Miękka

75.96 zł

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

Miękka

380.45 zł

Je te vois reine des quatre parties du monde Alexandre Lapierre

Miękka

59.42 zł

Leadership John C. Maxwell

Książka

51.81 zł

Mystische Dimensionen der Psyche Lars Tischler

Miękka

68.55 zł

Pokrevenstvo Amberu Roger Zelazny

Twarda

34.07 zł

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.