What do you think?
Rate this book
Formal Software Development: From VDM to Java by Dr Quentin Charatan
This gently-paced software engineering text concentrates on the use of formal methods for the development of high integrity software. The book contains examples and exercises throughout and is supported by a dedicated web site.
Paperback
First published September 1, 2003
2 people want to read
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.