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 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Logic-Based Program Synthesis and Transformation

23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Lingua IngleseInglese
Libro In brossura
Libro Logic-Based Program Synthesis and Transformation Gopal Gupta
Codice Libristo: 09094864
Casa editrice Springer International Publishing AG, dicembre 2014
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International... Descrizione completa
? points 141 b
57.79 €
Magazzino esterno in piccole quantità Inviamo tra 11-15 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Monsieur Et Madame Frontal, Ou Cranomanie Et Romantisme, Comedie-Critique En 1 Acte Colombat-M / Libro In brossura
common.buy 14.19 €
Plop. Libro bagno Matt Wolf / Libro In brossura
common.buy 5.69 €
La Guida Completa all'alimentazione nella Boxe: Massimizza il tuo Potenziale Correa / Libro In brossura
common.buy 22.79 €
Geheimnisse des Alten und des Neuen Bundes Anna Katharina Emmerick / Libro Rigido
common.buy 19.39 €
Two worlds Jitka Herodesová / Libro In brossura
common.buy 1.99 €
Religie Vroeger En Nu John.G.O. De Koker / Libro In brossura
common.buy 18.59 €
Gauguin, voyage au bout de la peinture Vauday / Libro In brossura
common.buy 27.89 €
O Papel Do Advogado NAS Transacoes Imobiliarias Walter Figueiredo de Almeida / Libro In brossura
common.buy 42.49 €

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

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 Gopal Gupta, Ricardo Pe?a
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2014
Numero di pagine 237
EAN 9783319141244
ISBN 3319141244
Codice Libristo 09094864
Casa editrice Springer International Publishing AG
Peso 3869
Dimensioni 155 x 235 x 13

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
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

Handbook of Evidence-Based Practices in Intellectual and Developmental Disabilities Nirbhay N. Singh / Libro Rigido
common.buy 495.59 €
Badger the Mystical Mutt and the Flying Fez Lyn McNicol / Libro In brossura
common.buy 6.99 €
MOLESKINE 2023 18MONTH WEEKLY HORIZONTAL MOLESKINE / Libro Rigido
common.buy 22.59 €
Business Basics Berggren Newton Benny Berggren Newton / Libro In brossura
common.buy 22.99 €
The Prickly Pear And Other Cacti As Food For Stock (1905) David Griffiths / Libro In brossura
common.buy 19.99 €
A Mere Cypher: A Novel (1893) Mary Angela Dickens / Libro In brossura
common.buy 39.69 €
Promotion of learning in India during Muhammadan rule by Muhammadans NARENDRA NATH LAW / Libro In brossura
common.buy 39.29 €
Can I Trust You? Yoram Solomon / Libro In brossura
common.buy 12.59 €
Gavin's 100 Day Diary K P Lee / Libro In brossura
common.buy 9.79 €
40 Prayers for Nurses D Duane Engler / Libro In brossura
common.buy 8.69 €
Criminology, Conflict Resolution and Restorative Justice K. McEvoy / Libro In brossura
common.buy 113.19 €
That A Divine Revelation Contains Mysteries Is No Valid Argument Against Its Truth Alexander Taylor / Libro Rigido
common.buy 32.79 €
Around the House Roger Priddy / Libro Rigido
common.buy 8.69 €
Iron Industry Richard Hayman / Libro In brossura
common.buy 11.59 €
Grace by Which I Stand Lin Lockamy / Libro In brossura
common.buy 13.79 €
May I Quote You on That? Stephen Spector / Libro In brossura
common.buy 16.49 €
Twilight at the Equator Jaime Manrique / Libro In brossura
common.buy 19.59 €

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?