000			01018cam a22002054a 4500
005			20250605163959.0
008			250528s ||||||||||||||||||||||||d
035			_a15564
020			_a77072146
040			_aGR-AtMCL _bgre _dGR-AtMCL _eAACR2
245	1		_aPractical Formal Methods with VDM
260			_bMcgraw Hill Book Company, _c1991
300			_a464
520			_aThis 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.
700	1		_aAndrews Derek _91513
700	1		_aDarrel Ince _91514
942			_cBK
999			_c1134 _d1134