Shop the Archives and get your next eBook for just 14.99! Stock up today >>

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.)

Buy this book

eBook $89.00
price for USA in USD (gross)
  • 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
  • Usually dispatched within 3 to 5 business days.

Table of contents (22 chapters)

  • VDM: Origins, hopes, and achievements

    Lucas, Peter

    Pages 1-18

  • Experience using VDM in STC

    Crispin, R. J.

    Pages 19-32

  • VDM in three generations of Ada formal descriptions

    Pedersen, Jan Storbank

    Pages 33-48

  • Experience with VDM in NORSK DATA

    Schmidt, Uwe (et al.)

    Pages 49-62

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

    Chedgey, Chris (et al.)

    Pages 63-76

Buy this book

eBook $89.00
price for USA in USD (gross)
  • 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
  • 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