Happy Holidays—Our $30 Gift Card just for you, and books ship free! Shop now>>

Theoretical Computer Science and General Issues

Logic-Based Program Synthesis and Transformation

19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

Editors: Schreye, Danny De (Ed.)

Free Preview

Buy this book

eBook 59,49 €
price for Spain (gross)
  • ISBN 978-3-642-12592-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 72,79 €
price for Spain (gross)
  • ISBN 978-3-642-12591-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules

Table of contents (14 chapters)

Table of contents (14 chapters)

Buy this book

eBook 59,49 €
price for Spain (gross)
  • ISBN 978-3-642-12592-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 72,79 €
price for Spain (gross)
  • ISBN 978-3-642-12591-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logic-Based Program Synthesis and Transformation
Book Subtitle
19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Editors
  • Danny De Schreye
Series Title
Theoretical Computer Science and General Issues
Series Volume
6037
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-12592-8
DOI
10.1007/978-3-642-12592-8
Softcover ISBN
978-3-642-12591-1
Edition Number
1
Number of Pages
X, 205
Number of Illustrations
29 b/w illustrations
Topics