Delivery included to the United States

Logic-Based Program Synthesis and Transformation

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

1st ed. 2015

Paperback (17 Dec 2015)

Save $6.37

  • RRP $61.51
  • $55.14
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's 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.

Book information

ISBN: 9783319274355
Publisher: Springer International Publishing
Imprint: Springer
Pub date:
Edition: 1st ed. 2015
DEWEY: 005.115
DEWEY edition: 23
Language: English
Number of pages: 385
Weight: 562g
Height: 235mm
Width: 155mm
Spine width: 21mm