Practical Formal Methods with Vdm (Mcgraw Hill International Series in Software Engineering)

0 avg rating
( 0 ratings by GoodReads )
 
9780077072148: Practical Formal Methods with Vdm (Mcgraw Hill International Series in Software Engineering)

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.

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Andrews, Derek; Ince, Darrel
Published by Mcgraw-Hill College (1991)
ISBN 10: 0077072146 ISBN 13: 9780077072148
New Paperback Quantity Available: 1
Seller
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Mcgraw-Hill College, 1991. Paperback. Book Condition: New. book. Bookseller Inventory # 77072146

More Information About This Seller | Ask Bookseller a Question

Buy New
93.53
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds