Practical Formal Methods with VDM 

 -  Mcgraw Hill Book Company,  1991 
 - 464 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>77072146