Practical Formal Methods With Vdm (McGraw Hill International Series in Software Engineering) - Softcover

Andrews, Derek; Ince, Darrel

Softcover

ISBN 10: 0077072146 ISBN 13: 9780077072148

Publisher: McGraw-Hill College, 1814

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.

Edition details

• Publisher: McGraw-Hill College
• Publication date: 1814
• Language: English
• ISBN 10: 0077072146
• ISBN 13: 9780077072148
• Binding: Paperback