Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Logic-Based Program Synthesis and Transformation

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

Lingua

Inglese

Libro In brossura

Codice Libristo: 09249952

Casa editrice Springer International Publishing AG, aprile 2015

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International... Descrizione completa

Codice Libristo: 09249952

125 b

51.09 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Pokrevenstvo Amberu Roger Zelazny

Rigido

6.49 €

Je te vois reine des quatre parties du monde Alexandre Lapierre

In brossura

11.29 €

Leadership John C. Maxwell

Libro

12.09 €

Mystische Dimensionen der Psyche Lars Tischler

In brossura

16.89 €

M'as-tu vu en cadavre ? Malet

Rigido

16.69 €

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

In brossura

39.49 €

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

In brossura

8.49 €

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

Rigido

13.19 €

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

In brossura

16.39 €

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

In brossura

74.99 €

Biologie víry Bruce H. Lipton

Rigido

11.79 €

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

In brossura

38.29 €

Globalización y salud mental Antoni Talarn

In brossura

33.89 €

Justizmord Hans-Rudolph Schneider

In brossura

17.69 €

Direkt NEU 1 G. Motta

CD audio

19.79 €

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

In brossura

32.79 €

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Logic-Based Program Synthesis and Transformation

Autore Maurizio Proietti, Hirohisa Seki

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2015

Numero di pagine 333

EAN 9783319178219

ISBN 3319178210

Codice Libristo 09249952

Casa editrice Springer International Publishing AG

Peso 534

Dimensioni 155 x 235 x 19

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione > Matematica per informatici

Matematica e Scienze > Matematica > Matematica discreta

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale

Informatica e Tecnologia dell’Informazione > Sistemi operativi