Artículos relacionados a Logic-Based Program Synthesis and Transformation: 27th...
Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected ... Computer Science and General Issues) - Tapa blanda
Reseña del editor
This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017.
The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by three outstanding speakers: Sumit Gulwani, Marieke Huisman, and Grigore Roşu. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2018
- ISBN 10 3319944592
- ISBN 13 9783319944593
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de edición1
- Número de páginas360
- EditorFioravanti Fabio, Gallagher John P.
EUR 56,14
EUR 17,80 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 53,49
EUR 11,00 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Logic-Based Program Synthesis and Transformation: 27th...
Imagen del vendedor
Logic-Based Program Synthesis and Transformation
Publicado por
Springer International Publishing Jul 2018, 2018
ISBN 10: 3319944592
ISBN 13: 9783319944593
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 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017.The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by three outstanding speakers: Sumit Gulwani, Marieke Huisman, and GrigoreRosu. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools. 360 pp. Englisch. Nº de ref. del artículo: 9783319944593
Cantidad disponible: 2 disponibles
Imagen del vendedor
Logic-Based Program Synthesis and Transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Publicado por
Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319944592
ISBN 13: 9783319944593
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 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017.The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by three outstanding speakers: Sumit Gulwani, Marieke Huisman, and GrigoreRosu. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools. Nº de ref. del artículo: 9783319944593
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected ... Computer Science and General Issues)
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: ria9783319944593_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logic-Based Program Synthesis and Transforamtion
Publicado por
Springer International Publishing, 2018
ISBN 10: 3319944592
ISBN 13: 9783319944593
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017.The 19 revised full papers were. Nº de ref. del artículo: 226364500
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logic-based Program Synthesis and Transformation : 27th International Symposium, Lopstr 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 33165121-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logic-based Program Synthesis and Transformation : 27th International Symposium, Lopstr 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 33165121
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logic-based Program Synthesis and Transformation : 27th International Symposium, Lopstr 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 33165121
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logic-based Program Synthesis and Transformation : 27th International Symposium, Lopstr 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 33165121-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logic-based Program Synthesis and Transformation: 27th International Symposium, Lopstr 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Publicado por
Springer-Verlag New York Inc, 2018
ISBN 10: 3319944592
ISBN 13: 9783319944593
Nuevo
Paperback
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. revised edition. 400 pages. 9.25x6.10x0.79 inches. In Stock. Nº de ref. del artículo: x-3319944592
Cantidad disponible: 2 disponibles
Imagen de archivo
Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected ... Computer Science and General Issues)
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: ABLIING23Mar3113020113081
Cantidad disponible: Más de 20 disponibles