CYBER DEAL: 50% off all Springer eBooks | Get this offer!

Theoretical Computer Science and General Issues

Logic-Based Program Synthesis and Transformation

16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

Editors: Puebla, Germán (Ed.)

Free Preview

Buy this book

eBook 53,49 €
price for Spain (gross)
  • ISBN 978-3-540-71410-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 67,59 €
price for Spain (gross)

Table of contents (16 chapters)

Table of contents (16 chapters)

Buy this book

eBook 53,49 €
price for Spain (gross)
  • ISBN 978-3-540-71410-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 67,59 €
price for Spain (gross)
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logic-Based Program Synthesis and Transformation
Book Subtitle
16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
Editors
  • Germán Puebla
Series Title
Theoretical Computer Science and General Issues
Series Volume
4407
Copyright
2007
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-71410-1
DOI
10.1007/978-3-540-71410-1
Softcover ISBN
978-3-540-71409-5
Edition Number
1
Number of Pages
VIII, 240
Topics