Logic-Based Program Synthesis and Transformation - 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
di Springer International Publishing
Stato: Nuovo
51,34 €
IVA inclusa - Spedizione GRATUITA
Ti piace questo prodotto? Condividilo con i tuoi amici!
51,34 € IVA inclusa
Solo 1 articolo rimasto Solo 1 articoli rimasti Più di 10 pezzi disponibili
Consegna: tra martedì 5 luglio 2022 e giovedì 7 luglio 2022
Vendita & spedizione: Dodax
Altre opzioni di acquisto
1 offerta a 51,35 €
Venduto da Dodax
51,35 € IVA inclusa
Stato: Nuovo
Spedizione gratuita
Consegna: tra martedì 5 luglio 2022 e giovedì 7 luglio 2022
Descrizione
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 during two rounds of reviewing and improvement. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.
The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions during two rounds of reviewing and improvement. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.
Ulteriori informazioni
Illustrations Note:
XII, 237 p. 51 illus.
Indice:
Specification.- Synthesis.- Verification.- Analysis.- Optimization.- Specialization.- Security.- Certification.- Applications and tools.- Program/model manipulation.- Transformation techniques for any programming language paradigm.
Editore:
Gupta, Gopal;Gupta
Peña, Ricardo;Peña
Commenti:
Includes supplementary material: sn.pub/extras
Tipo multimediale:
Copertina morbida
Editore:
Springer International Publishing
Lingua:
Inglese
Edizione:
2014
Numero di Pagine:
237
Dati Principali
Tipologia prodotto:
Brossura
Data di pubblicazione:
22 dicembre 2014
Dimensioni del collo:
0.235 x 0.155 x 0.014 m; 0.38 kg
GTIN:
09783319141244
DUIN:
CE6KQVR4GLS
51,34 €