Theoretical Computer Science and General Issues

Logic Based Program Synthesis and Transformation

15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

Editors: Hill, Patricia M. (Ed.)

Free Preview

Buy this book

eBook $69.99
price for USA in USD
  • ISBN 978-3-540-32656-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-540-32654-0
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock

Table of contents (11 chapters)

Table of contents (11 chapters)

Buy this book

eBook $69.99
price for USA in USD
  • ISBN 978-3-540-32656-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-540-32654-0
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logic Based Program Synthesis and Transformation
Book Subtitle
15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
Editors
  • Patricia M. Hill
Series Title
Theoretical Computer Science and General Issues
Series Volume
3901
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-32656-4
DOI
10.1007/11680093
Softcover ISBN
978-3-540-32654-0
Edition Number
1
Number of Pages
X, 182
Topics