Lecture Notes in Computer Science

Automated Technology for Verification and Analysis

Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings

Editors: Wang, Farn (Ed.)

Buy this book

eBook 91,62 €
price for Spain (gross)
  • ISBN 978-3-540-30476-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 114,39 €
price for Spain (gross)
  • ISBN 978-3-540-23610-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules

Table of contents (45 chapters)

  • Games for Formal Design and Verification of Reactive Systems

    Alur, Rajeev

    Pages 1-1

    Preview Buy Chapter 30,19 €
  • Evolution of Model Checking into the EDA Industry

    Kurshan, Robert P.

    Pages 2-6

    Preview Buy Chapter 30,19 €
  • Abstraction Refinement

    Ho, Pei-Hsin

    Pages 7-7

    Preview Buy Chapter 30,19 €
  • Tools for Automated Verification of Web Services

    Bultan, Tevfik (et al.)

    Pages 8-10

    Preview Buy Chapter 30,19 €
  • Theorem Proving Languages for Verification

    Jouannaud, Jean-Pierre

    Pages 11-14

    Preview Buy Chapter 30,19 €

Buy this book

eBook 91,62 €
price for Spain (gross)
  • ISBN 978-3-540-30476-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 114,39 €
price for Spain (gross)
  • ISBN 978-3-540-23610-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • 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
Automated Technology for Verification and Analysis
Book Subtitle
Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings
Editors
  • Farn Wang
Series Title
Lecture Notes in Computer Science
Series Volume
3299
Copyright
2004
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-30476-0
DOI
10.1007/b102065
Softcover ISBN
978-3-540-23610-8
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 510
Topics