Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Logic-Based Program Synthesis and Transformation

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

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 09249952

Nakladnici Springer International Publishing AG, travanj 2015

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

Libristo kod: 09249952

125 b

51.65 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Pokrevenstvo Amberu Roger Zelazny

Tvrdi uvez

8.08 €

Je te vois reine des quatre parties du monde Alexandre Lapierre

Meki uvez

13.23 €

Leadership John C. Maxwell

Knjiga

12.22 €

Mystische Dimensionen der Psyche Lars Tischler

Meki uvez

16.17 €

M'as-tu vu en cadavre ? Malet

Tvrdi uvez

19.50 €

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

Meki uvez

43.56 €

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

Meki uvez

8.58 €

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

Tvrdi uvez

15.76 €

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

Meki uvez

15.76 €

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

Meki uvez

85.11 €

Biologie víry Bruce H. Lipton

Tvrdi uvez

14.45 €

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

Meki uvez

38.71 €

Globalización y salud mental Antoni Talarn

Meki uvez

34.26 €

Justizmord Hans-Rudolph Schneider

Meki uvez

17.88 €

Direkt NEU 1 G. Motta

Audio CD

20.01 €

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

Meki uvez

31.23 €

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.