Programming and Software Engineering

FM 2006: Formal Methods

14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Editors: Misra, Jayadev, Nipkow, Tobias, Sekerinski, Emil (Eds.)

Buy this book

eBook 89,24 €
price for Spain (gross)
  • ISBN 978-3-540-37216-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 109,19 €
price for Spain (gross)
  • ISBN 978-3-540-37215-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)

  • The Embedded Systems Design Challenge

    Henzinger, Thomas A. (et al.)

    Pages 1-15

    Preview Buy Chapter 30,19 €
  • The Mondex Challenge: Machine Checked Proofs for an Electronic Purse

    Schellhorn, Gerhard (et al.)

    Pages 16-31

    Preview Buy Chapter 30,19 €
  • Interactive Verification of Medical Guidelines

    Schmitt, Jonathan (et al.)

    Pages 32-47

    Preview Buy Chapter 30,19 €
  • Certifying Airport Security Regulations Using the Focal Environment

    Delahaye, David (et al.)

    Pages 48-63

    Preview Buy Chapter 30,19 €
  • Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study

    Umeno, Shinya (et al.)

    Pages 64-80

    Preview Buy Chapter 30,19 €

Buy this book

eBook 89,24 €
price for Spain (gross)
  • ISBN 978-3-540-37216-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 109,19 €
price for Spain (gross)
  • ISBN 978-3-540-37215-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
FM 2006: Formal Methods
Book Subtitle
14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Editors
  • Jayadev Misra
  • Tobias Nipkow
  • Emil Sekerinski
Series Title
Programming and Software Engineering
Series Volume
4085
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-37216-5
DOI
10.1007/11813040
Softcover ISBN
978-3-540-37215-8
Edition Number
1
Number of Pages
XV, 620
Topics