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

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer International Publishing AG
SKU: 09249952
Price: 51.75 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

Language

English

Book Paperback

Libristo code: 09249952

Publishers Springer International Publishing AG, April 2015

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International... Full description

Libristo code: 09249952

125 b

51.75 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

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

Paperback

8.60 €

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

Paperback

45.47 €

M'as-tu vu en cadavre ? Malet

Hardback

20.65 €

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

Paperback

15.79 €

Biologie víry Bruce H. Lipton

Hardback

15.28 €

Globalización y salud mental Antoni Talarn

Paperback

37.97 €

Justizmord Hans-Rudolph Schneider

Paperback

17.92 €

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

Paperback

90.03 €

Je te vois reine des quatre parties du monde Alexandre Lapierre

Paperback

14.07 €

Leadership John C. Maxwell

Book

12.24 €

Mystische Dimensionen der Psyche Lars Tischler

Paperback

16.20 €

Pokrevenstvo Amberu Roger Zelazny

Hardback

8.60 €

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.