TY  - BOOK
AU  - Andrews Derek
AU  - Darrel Ince
TI  - Practical Formal Methods with VDM
SN  - 77072146
PY  - 1991///
PB  - Mcgraw Hill Book Company
N2  - This book is intended for courses in formal methods of software development taught at the undergraduate or postgraduate level in departments of Computer Science.  Preface, Formal Methods - An Introduction, Logic, A Language for Specification, Sets, Maps, Sequences, Abstract Syntax, Data Invariants, Specifying Systems, Large Systems, From Specifications to Code, Program Development, A Simple Text Editor, The Development of the Editor, The Buffer Abstract Machine, The User Interface, Postscript, Bibliography, Index
ER  -