Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD point 1 170 Ft DPD courier 1 370 Ft GLS point 1 370 Ft Hungarian Post 1 975 Ft Hungarian Post 1 870 Ft Hungarian Post 1 870 Ft FoxPost 1 370 Ft Packeta point 1 370 Ft GLS courier 1 870 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Logic-Based Program Synthesis and Transformation

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

132 b

19 608 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Mystische Dimensionen der Psyche Lars Tischler

Paperback

6 378 Ft

Leadership John C. Maxwell

Book

5 184 Ft

L'integrale des sketches (N. éd)) Coluche

Paperback

7 751 Ft

CAMPUS N1 ELEVE KLETT Jacky Girardet

Paperback

8 955 Ft

TITO EXCURSIO A LA SELVA JIMENEZ CARBO

Hardback

4 576 Ft

Pokrevenstvo Amberu Roger Zelazny

Hardback

3 085 Ft

M'as-tu vu en cadavre ? Malet

Hardback

7 005 Ft

Je te vois reine des quatre parties du monde Alexandre Lapierre

Paperback

4 650 Ft

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

Paperback

14 943 Ft

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

Paperback

3 411 Ft

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

Paperback

32 320 Ft

Freuds Dinge Lothar Müller

Hardback

14 321 Ft

Černé ovce a beránek Boží Joanna Cannonová

Hardback

5 988 Ft

Justizmord Hans-Rudolph Schneider

Paperback

7 064 Ft

Integration de La Promotion de La Sante Au Sein Du Tourisme de Bien-Etre JOHANNA RIBOULON

Paperback

11 952 Ft

Semillas (Seeds) Elizabeth Austen

Paperback

3 574 Ft

Biologie víry Bruce H. Lipton

Hardback

5 499 Ft

Direkt NEU 1 G. Motta

Audio CD

7 212 Ft

Coloraines, Eduació Infantil, 3 anys. 1 trimestre Mireia . . . [et al. ] Fernández Ramírez

Paperback

15 452 Ft

Globalización y salud mental Antoni Talarn

Paperback

13 635 Ft

Aha!Neu 3A Podrecznik z cwiczeniami Kurs podstawowy z plyta CD i CD-ROM Anna Potapowicz

Paperback

3 831 Ft

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.