40% off Popular Science books & eBooks—Save on general interest titles now!

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)
  • ISBN 978-3-540-71409-5
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules

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)
  • ISBN 978-3-540-71409-5
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • 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
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