Image for Practical Formal Methods with Vdm

Practical Formal Methods with Vdm

See all formats and editions

This book reflects the increased amount of emphasis placed on the mathematical methods of software development in undergraduate computer science courses.

The VDM notation is described in detail, with each chapter starting with an Overview/Motivation Section.

It then goes on to summarize the syntax of the VDM used.

Objectives and aims are stated and the progress of the student is judged by self-assessment procedures.

Read More
Title Unavailable: Out of Print
Product Details
McGraw-Hill Publishing Co.
0077072146 / 9780077072148
Paperback
005.1
01/09/1991
United Kingdom
480 pages, Illustrations
9400 grams
Professional & Vocational/Technical / vocational (manuals etc) Learn More