Practical Formal Methods with VDM
Practical Formal Methods with VDM
- Mcgraw Hill Book Company, 1991
- 464
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.
77072146
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.
77072146