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
Springer International Publishing Logic-Based Program Synthesis and Transformation - 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Springer International Publishing - Logic-Based Program Synthesis and Transformation - 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

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
Visualizza altre opzioni di acquisto

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.

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 €
Utilizziamo i cookie sul nostro sito Web per rendere la tua visita più efficiente e più user-friendly. Per assicurarti di poter utilizzare tutte le funzioni presenti, fai clic su "accetta cookie". Per ulteriori informazioni, consulta la nostra Informativa sulla privacy.