Logic-Based Program Synthesis and Transformation
ISBN 10: 3319141244 ISBN 13: 9783319141244
Editorial: Springer, 2014
Nuevos
Encuadernación de tapa blanda
Librería:
Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 24 de junio de 2016
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
New. Delivery takes 25-30 days. Excellent Customer Service. N° de ref. del artículo POD-105230
Sinopsis:
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.
De la contraportada:
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Detalles bibliográficos
Título: Logic-Based Program Synthesis and ...
Editorial: Springer
Año de publicación: 2014
Encuadernación: Encuadernación de tapa blanda
Condición: Brand New