Introduction to Formal Specification with Z and VDM (McGraw-Hill International Series in Software Engineering)

0 avg rating
( 0 ratings by GoodReads )
 
9780077079079: Introduction to Formal Specification with Z and VDM (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.

Top Search Results from the AbeBooks Marketplace

1.

Sheppard Deri
Published by The McGraw-Hill Company
ISBN 10: 0077079078 ISBN 13: 9780077079079
New Quantity Available: 1
Seller
Majestic Books
(London, ,, United Kingdom)
Rating
[?]

Book Description The McGraw-Hill Company. Book Condition: New. pp. xvii + 398 , Illus. Bookseller Inventory # 58142505

More Information About This Seller | Ask Bookseller a Question

Buy New
46.93
Convert Currency

Add to Basket

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

2.

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
49.81
Convert Currency

Add to Basket

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

3.

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

Book Description Mcgraw Hill Book Co Ltd, 1994. Paperback. Book Condition: New. New item. Bookseller Inventory # QX-199-87-1448001

More Information About This Seller | Ask Bookseller a Question

Buy New
73.28
Convert Currency

Add to Basket

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