Artículos relacionados a Logic-Based Program Synthesis and Transformation: 18th...
Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected ... Computer Science and General Issues) - Tapa blanda
Reseña del editor
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. 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.
Reseña del editor
This volume contains a selection of the papers presented at the 18th Inter- tionalSymposiumonLogic-BasedProgramSynthesisandTransformation(LOP- STR 2008) held during July 17-18, 2008 in Valencia, Spain. Information about ? the conference can be found at http://www.informatik.uni-kiel.de/ mh/ lopstr08. Previous LOPSTR symposia were held in Lyngby (2007), Venice (2006 and 1999), London (2005 and 2000), Verona (2004), Uppsala (2003), Madrid (2002), Paphos (2001), Manchester (1998, 1992, and 1991), Leuven (1997), Stockholm (1996), Arnhem (1995), Pisa (1994), and Louvain-la-Neuve (1993). The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR t- ditionally solicits papers in the areas of speci?cation, synthesis, veri?cation, transformation,analysis,optimization,composition,security,reuse,applications andtools,component-basedsoftwaredevelopment,softwarearchitectures,age- basedsoftwaredevelopment,andprogramre?nement.LOPSTRhasareputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate feedback in the published papers. I would like to thank all those who submitted contributions to LOPSTR in the categories of full papers and extended abstracts. Each submission was reviewedbyatleastthreeProgramCommitteemembers.Thecommitteedecided to accept three full papers for immediate inclusion in the ?nal post-conference proceedings, and nine papers were accepted after revision and another round of reviewing. In addition to the accepted papers, the program also included an invited talk by Peter O'Hearn (University of London).
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer Berlin Heidelberg
- Año de publicación2010
- ISBN 10 3642005144
- ISBN 13 9783642005145
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas196
- EditorHanus Michael
EUR 98,64
EUR 29,56 gastos de envío desde Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 57,58
GRATIS gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envíoResultados de la búsqueda para Logic-Based Program Synthesis and Transformation: 18th...
Imagen de archivo
Logic-based Program Synthesis And Transformation
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABNR-157130
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic-based Program Synthesis And Transformation
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEJUNE24-343315
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers (Lecture Notes in Computer Science, 5438)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020213704
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logic-Based Program Synthesis and Transformation
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 196. Nº de ref. del artículo: 26465455
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers (Lecture Notes in Computer Science, 5438)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783642005145_new
Gastos de envío:
EUR 14,16
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logic-Based Program Synthesis and Transformation
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 196 Illus. Nº de ref. del artículo: 7382512
Gastos de envío:
EUR 7,68
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logic-Based Program Synthesis and Transformation
Publicado por
Springer Berlin Heidelberg Feb 2009, 2009
ISBN 10: 3642005144
ISBN 13: 9783642005145
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. 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. 196 pp. Englisch. Nº de ref. del artículo: 9783642005145
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 2 disponibles
Imagen de archivo
Logic-Based Program Synthesis and Transformation
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 196. Nº de ref. del artículo: 18465445
Gastos de envío:
EUR 9,95
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Publicado por
Springer Berlin Heidelberg, 2009
ISBN 10: 3642005144
ISBN 13: 9783642005145
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. 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. Nº de ref. del artículo: 9783642005145
Gastos de envío:
EUR 29,52
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic-based Program Synthesis and Transformation: 18th International Symposium, Lopstr 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Publicado por
Springer-Verlag New York Inc, 2009
ISBN 10: 3642005144
ISBN 13: 9783642005145
Nuevo
Paperback
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 1st edition. 185 pages. 9.00x6.00x0.50 inches. In Stock. Nº de ref. del artículo: x-3642005144
Gastos de envío:
EUR 11,82
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 2 disponibles