Delivery included to the United States

Practical Formal Methods With VDM

Practical Formal Methods With VDM - The McGraw-Hill International Series in Software Engineering

Paperback (01 Sep 1991)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

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.

Book information

ISBN: 9780077072148
Publisher: McGraw-Hill
Imprint: McGraw-Hill
Pub date:
DEWEY: 005.1
DEWEY edition: 20
Number of pages: 450
Weight: -1g