What do you think?
Rate this book
VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
Provides an account of the research into, and application of the Vienna Development Method (VDM), one of the most widely known "formal methods".
433 pages, Paperback
First published April 1, 1987
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.