Happy holidays from us to you—get up to $30 off your next print or eBook! Shop now >>

Programming and Software Engineering

Automated Technology for Verification and Analysis

8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

Editors: Bouajjani, Ahmed, Chin, Wei-Ngan (Eds.)

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-642-15643-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-642-15642-7
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.

Table of contents (33 chapters)

  • Probabilistic Automata on Infinite Words: Decidability and Undecidability Results

    Chatterjee, Krishnendu (et al.)

    Pages 1-16

  • Abstraction Learning

    Jaffar, Joxan (et al.)

    Pages 17-17

  • Synthesis: Words and Traces

    Walukiewicz, Igor

    Pages 18-21

  • Promptness in ω-Regular Automata

    Almagor, Shaull (et al.)

    Pages 22-36

  • Using Redundant Constraints for Refinement

    Asarin, Eugene (et al.)

    Pages 37-51

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-642-15643-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-642-15642-7
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automated Technology for Verification and Analysis
Book Subtitle
8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Editors
  • Ahmed Bouajjani
  • Wei-Ngan Chin
Series Title
Programming and Software Engineering
Series Volume
6252
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Heidelberg
eBook ISBN
978-3-642-15643-4
DOI
10.1007/978-3-642-15643-4
Softcover ISBN
978-3-642-15642-7
Edition Number
1
Number of Pages
VIII, 404
Number of Illustrations
112 b/w illustrations
Topics