Vdm'87: Vdm-A Formal Method at Work

Vdm-Europe Symposium 1987 (Lecture Notes in Computer Science)

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

Buy this book

Last edited by LC Bot
December 29, 2011 | History

Vdm'87: Vdm-A Formal Method at Work

Vdm-Europe Symposium 1987 (Lecture Notes in Computer Science)

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
422

Buy this book

Edition Availability
Cover of: Vdm'87: Vdm-A Formal Method at Work

Add another edition?

Book Details


First Sentence

"In this talk I want to trace the history of VDM by highlighting the important ideas that contributed to its present form and status."

ID Numbers

Open Library
OL7443856M
ISBN 10
0387176543
ISBN 13
9780387176543
Goodreads
3471429

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
December 29, 2011 Edited by LC Bot import new book
December 29, 2011 Edited by LC Bot import new book
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
December 10, 2009 Created by WorkBot add works page