Items related to Logic-Based Program Synthesis and Transformation: 25th...
Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers: 9527 (Lecture Notes in Computer Science, 9527) - Softcover
Synopsis
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. 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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2015
- ISBN 10 331927435X
- ISBN 13 9783319274355
- BindingPaperback
- LanguageEnglish
- Edition number1
- Number of pages402
- EditorFalaschi Moreno
Search results for Logic-Based Program Synthesis and Transformation: 25th...
Seller Image
Logic-based Program Synthesis and Transformation : 25th International Symposium, Lopstr 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 24907644-n
Quantity: Over 20 available
Stock Image
Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers (Theoretical Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783319274355_new
Quantity: Over 20 available
Stock Image
Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783319274355
Quantity: 10 available
Seller Image
Logic-Based Program Synthesis and Transformation
Published by
Springer International Publishing Dez 2015, 2015
ISBN 10: 331927435X
ISBN 13: 9783319274355
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereedpost-conference proceedings of the 25th International Symposium on Logic-BasedProgram Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, inJuly 2015.The 21 revised full papers presented together with 3invited talks were carefully reviewed and selected from 30 submissions. The aimof the LOPSTR series is to stimulate and promote international research andcollaboration on logic-based program development. LOPSTR is open tocontributions in all aspects of logic-based program development, all stages ofthe software life cycle, and issues of both programming-in-the-small andprogramming-in-the-large. 404 pp. Englisch. Seller Inventory # 9783319274355
Quantity: 2 available
Seller Image
Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Published by
Springer International Publishing, 2015
ISBN 10: 331927435X
ISBN 13: 9783319274355
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereedpost-conference proceedings of the 25th International Symposium on Logic-BasedProgram Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, inJuly 2015.The 21 revised full papers presented together with 3invited talks were carefully reviewed and selected from 30 submissions. The aimof the LOPSTR series is to stimulate and promote international research andcollaboration on logic-based program development. LOPSTR is open tocontributions in all aspects of logic-based program development, all stages ofthe software life cycle, and issues of both programming-in-the-small andprogramming-in-the-large. Seller Inventory # 9783319274355
Quantity: 1 available
Seller Image
Logic-based Program Synthesis and Transformation : 25th International Symposium, Lopstr 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 24907644-n
Quantity: Over 20 available
Seller Image
Logic-Based Program Synthesis and Transformation
Published by
Springer International Publishing, 2015
ISBN 10: 331927435X
ISBN 13: 9783319274355
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the thoroughly refereedpost-conference proceedings of the 25th International Symposium on Logic-BasedProgram Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, inJuly 2015.The 21 revised full papers presented to. Seller Inventory # 91689452
Quantity: Over 20 available
Stock Image
Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers (Theoretical Computer Science and General Issues)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783319274355
Quantity: Over 20 available
Stock Image
Logic-based Program Synthesis and Transformation: 25th International Symposium, Lopstr 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Published by
Springer-Verlag New York Inc, 2016
ISBN 10: 331927435X
ISBN 13: 9783319274355
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 404 pages. 9.25x6.10x0.79 inches. In Stock. Seller Inventory # x-331927435X
Quantity: 2 available
Stock Image
Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers (Lecture Notes in Computer Science)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 373950535
Quantity: 4 available