Save 40% on books and eBooks in Engineering & Materials Science or in Social & Behavioral Sciences!

Theoretical Computer Science and General Issues

Computer Aided Verification

18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Editors: Ball, Thomas, Jones, Robert B. (Eds.)

Free Preview

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-540-37411-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA in USD
  • ISBN 978-3-540-37406-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (49 chapters)

Table of contents (49 chapters)

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-540-37411-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA in USD
  • ISBN 978-3-540-37406-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Computer Aided Verification
Book Subtitle
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Editors
  • Thomas Ball
  • Robert B. Jones
Series Title
Theoretical Computer Science and General Issues
Series Volume
4144
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-37411-4
DOI
10.1007/11817963
Softcover ISBN
978-3-540-37406-0
Edition Number
1
Number of Pages
XV, 564
Topics