An Introduction to Formal Specification With Z and Vdm (The Mcgraw-Hill International Series in Software Engineering)

0 avg rating
( 0 ratings by Goodreads )
 
9780077079079: An Introduction to Formal Specification With Z and Vdm (The Mcgraw-Hill International Series in Software Engineering)

Formal methods emphasize the correct and efficient development of software. This text puts formal specification in the context of traditional methods of software development, including object-orientation, introducing these concepts and the necessary discrete maths, before moving on to look at both Z and VDM in depth, using the case study of a drinks dispensing machine.

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

Buy New View Book

Shipping: 10.77
From U.S.A. to United Kingdom

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Deri Sheppard
Published by Mcgraw Hill Book Co Ltd (1994)
ISBN 10: 0077079078 ISBN 13: 9780077079079
New Paperback Quantity Available: 1
Seller
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Mcgraw Hill Book Co Ltd, 1994. Paperback. Book Condition: New. Bookseller Inventory # DADAX0077079078

More Information About This Seller | Ask Bookseller a Question

Buy New
92.77
Convert Currency

Add to Basket

Shipping: 10.77
From U.S.A. to United Kingdom
Destination, Rates & Speeds