Theoretical Computer Science and General Issues

Verification, Model Checking, and Abstract Interpretation

6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Editors: Cousot, Radhia (Ed.)

Buy this book

eBook 79,72 €
price for Spain (gross)
  • ISBN 978-3-540-30579-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 98,79 €
price for Spain (gross)
  • ISBN 978-3-540-24297-0
  • 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 (30 chapters)

  • Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming

    Cousot, Patrick

    Pages 1-24

    Preview Buy Chapter 30,19 €
  • Scalable Analysis of Linear Systems Using Mathematical Programming

    Sankaranarayanan, Sriram (et al.)

    Pages 25-41

    Preview Buy Chapter 30,19 €
  • The Arithmetic-Geometric Progression Abstract Domain

    Feret, Jérôme

    Pages 42-58

    Preview Buy Chapter 30,19 €
  • An Overview of Semantics for the Validation of Numerical Programs

    Martel, Matthieu

    Pages 59-77

    Preview Buy Chapter 30,19 €
  • The Verifying Compiler, a Grand Challenge for Computing Research

    Hoare, C. A. R.

    Pages 78-78

    Preview Buy Chapter 30,19 €

Buy this book

eBook 79,72 €
price for Spain (gross)
  • ISBN 978-3-540-30579-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 98,79 €
price for Spain (gross)
  • ISBN 978-3-540-24297-0
  • 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
Verification, Model Checking, and Abstract Interpretation
Book Subtitle
6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
Editors
  • Radhia Cousot
Series Title
Theoretical Computer Science and General Issues
Series Volume
3385
Copyright
2005
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
The Editor(s) (if applicable) and The Author(s) 2018
eBook ISBN
978-3-540-30579-8
DOI
10.1007/b105073
Softcover ISBN
978-3-540-24297-0
Edition Number
1
Number of Pages
XII, 483
Topics