Systematic Software Development Using VDM
The stated aim of this book is to contribute to the wider use of formal methods in the specification and design of computer systems. VDM was developed in an industrial environment and has seen significant use in England. Attention is focused on formal specification and verified design.
Subtitle:
Second Edition
ISBN:
0138807337
Published:
1990
Pages:
320
Image:
AddThis:
Member Reviews: