Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.99 € Zbirna točka DPD 3.49 € Kurirska služba GLS 5.99 € Kurir DPD 3.99 € Kurirska služba Express One 3.99 € Zbirno mesto Express One 3.99 € Zbirno mesto Pošte Slovenije 3.99 € Dostava preko Pošte Slovenije 3.99 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Logic-Based Program Synthesis and Transformation

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

Angleščina

Knjiga Mehka

Koda Libristo: 09249952

Založba Springer International Publishing AG, april 2015

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

Koda Libristo: 09249952

118 b

48.60 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

M'as-tu vu en cadavre ? Malet

Trda

17.60 €

Mystische Dimensionen der Psyche Lars Tischler

Mehka

15.19 €

Leadership John C. Maxwell

Knjiga

12.27 €

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

Mehka

9.55 €

Je te vois reine des quatre parties du monde Alexandre Lapierre

Mehka

11.66 €

Globalización y salud mental Antoni Talarn

Mehka

34.11 €

Pokrevenstvo Amberu Roger Zelazny

Trda

7.54 €

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

Mehka

19.51 €

CAMPUS N1 ELEVE KLETT Jacky Girardet

Mehka

22.53 €

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

Mehka

38.53 €

Direkt NEU 1 G. Motta

Zvočni CD

19.92 €

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

Mehka

36.92 €

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

Mehka

29.28 €

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

Mehka

8.04 €

Biologie víry Bruce H. Lipton

Trda

13.48 €

Semillas (Seeds) Elizabeth Austen

Mehka

8.75 €

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

Mehka

79.90 €

Justizmord Hans-Rudolph Schneider

Mehka

16.80 €

Freuds Dinge Lothar Müller

Trda

33.80 €

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

Trda

14.88 €

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.