Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Lecture Notes in Computer Science

VDM '87. VDM - A Formal Method at Work

VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

Editors: Bjorner, D., Jones, C., Mac An Airchinnigh, M., Neuhold, E. (Eds.)

Free Preview

Buy this book

eBook $89.00
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47740-2
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-17654-1
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.

Table of contents (22 chapters)

Table of contents (22 chapters)
  • VDM: Origins, hopes, and achievements

    Pages 1-18

    Lucas, Peter

  • Experience using VDM in STC

    Pages 19-32

    Crispin, R. J.

  • VDM in three generations of Ada formal descriptions

    Pages 33-48

    Pedersen, Jan Storbank

  • Experience with VDM in NORSK DATA

    Pages 49-62

    Schmidt, Uwe (et al.)

  • Using VDM in an Object-Oriented development method for Ada software

    Pages 63-76

    Chedgey, Chris (et al.)

Buy this book

eBook $89.00
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47740-2
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-17654-1
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
VDM '87. VDM - A Formal Method at Work
Book Subtitle
VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
Editors
  • Dines Bjorner
  • Cliff Jones
  • Michael Mac An Airchinnigh
  • Erich Neuhold
Series Title
Lecture Notes in Computer Science
Series Volume
252
Copyright
1987
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-47740-2
DOI
10.1007/3-540-17654-3
Softcover ISBN
978-3-540-17654-1
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XI, 422
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.