ABSTRACT
The readership will not just consist of programmers. It will also appeal to system designers, to customers wishing to specify their requirements, to evaluators of systems, and to lecturers and software engineering students. In short, anyone who wants to read a VDM specification More...with understanding. 2nd/3rd year computer science courses, parti
TABLE OF CONTENTS
part 1|2 pages
Introduction
part 2|1 pages
4 Comments
part |1 pages
Statements