Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Logic-Based Program Synthesis and Transformation

25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Lingua IngleseInglese
Libro In brossura
Libro Logic-Based Program Synthesis and Transformation Moreno Falaschi
Codice Libristo: 02836544
Casa editrice Springer International Publishing AG, dicembre 2015
This book constitutes the thoroughly refereed post-conference§proceedings of the 25th International... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

N.E.O. Tome 2 : Les Deux Chateaux Michel Bussi / Libro In brossura
common.buy 11.09 €
Sauvage / Libro In brossura
common.buy 31.09 €
Ivan Vyskočil a jeho neliteratura Pavel Janoušek / Libro Libro
common.buy 7.49 €
Soziologia Horton / Libro In brossura
common.buy 27.59 €
Por el Templo y por las Casas: Tomo 2 Juan A. Morales / Libro In brossura
common.buy 20.09 €
Le Désordre Mondial Du Capitalisme: La Politique Ouvri?re Au Millénaire Jack Barnes / Libro In brossura
common.buy 29.59 €
Despacito y buenaletra : método para prevenir y corregir las dificultades en la escritura II José Ramiro Viso Alonso / Libro In brossura
common.buy 16.79 €
Philomela Lena Behmenburg / Libro Rigido
common.buy 216.89 €

This book constitutes the thoroughly refereed post-conference§proceedings of the 25th International Symposium on Logic-Based Program§Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions.§ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
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 Moreno Falaschi
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2015
Numero di pagine 385
EAN 9783319274355
ISBN 331927435X
Codice Libristo 02836544
Casa editrice Springer International Publishing AG
Peso 6088
Dimensioni 155 x 235 x 25

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 > Tecniche di programmazione
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Programmazione orientata agli oggetti (OOP)
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
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Little Critter: Just a Special Day Mercer Mayer / Libro In brossura
common.buy 4.99 €
Diseases of the Stomach with Special Reference to Treatment Charles Dettie Aaron / Libro Rigido
common.buy 42.59 €
Exercises in macroeconomic theory III with solutions Echevarría Olave / Libro In brossura
common.buy 18.89 €
Decision Theory and the Future of AI Yang Liu / Libro Rigido
common.buy 107.29 €
Vessel Matthew Bryant / Libro In brossura
common.buy 10.69 €
Notebooks de Heem, van Huijsum, Renoir (Set of 3, Large) Arca Publishers / Libro In brossura
common.buy 9.49 €
Place in the Sun Tim Tingle / Libro In brossura
common.buy 23.09 €
Royal and Historical Letters During the Reign of Henry the Fourth, King of England and of France, and Lord of Ireland Volume 1 F. C. (Francis Charles) 1833 Hingeston / Libro Rigido
common.buy 41.59 €
Kindle Paperwhite User Guide Sharon Hurley / Libro In brossura
common.buy 27.59 €
Higher Education United States Government Accountability / Libro In brossura
common.buy 15.89 €
African Personality and Spirituality Anthony Ephirim-Donkor / Libro Rigido
common.buy 130.19 €
Reform without Liberalization Kevin J. O`Brien / Libro Rigido
common.buy 132.79 €
Practical Flow Cytometry 4e Howard M. Shapiro / Libro Rigido
common.buy 225.89 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?