Introducing Specification Using Z: A Practical Case Study Approach (The McGraw-Hill International Series in Software Engineering)

0 avg rating
( 0 ratings by Goodreads )
 
9780077079659: Introducing Specification Using Z: A Practical Case Study Approach (The McGraw-Hill International Series in Software Engineering)
View all copies of this ISBN edition:
 
 

Offering an introduction to formal specification using the "Z" notation, this practical text makes use of a series of case studies, of varying complexity, to illustrate the construction of good specifications in "Z". These case studies serve to describe the most frequently used features of "Z", the relevant discrete mathematics and the various techniques used. The text also includes an introduction to specification validation, theorem proving and refinement. The importance of formal methods within software engineering is stressed throughout and there are a large number of exercises with solutions.

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

Buy Used View Book
List Price: US$ 25.00
US$ 4.60

Convert currency

Shipping: US$ 2.52
From United Kingdom to U.S.A.

Destination, rates & speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

B. Ratcliff
Published by -
ISBN 10: 0077079655 ISBN 13: 9780077079659
Used Hardcover Quantity Available: 1
Seller:
AwesomeBooks
(Wallingford, United Kingdom)
Rating
[?]

Book Description -. Hardcover. Condition: Very Good. Introducing Specification Using Z: A Practical Case Study Approach (McGraw-Hill International Series in Software Engineering) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Seller Inventory # 7719-9780077079659

More information about this seller | Contact this seller

Buy Used
US$ 4.60
Convert currency

Add to Basket

Shipping: US$ 2.52
From United Kingdom to U.S.A.
Destination, rates & speeds

2.

B. Ratcliff
Published by - -
ISBN 10: 0077079655 ISBN 13: 9780077079659
Used Hardcover Quantity Available: 1
Seller:
Bahamut Media
(Reading, United Kingdom)
Rating
[?]

Book Description - -. Hardcover. Condition: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Seller Inventory # 6545-9780077079659

More information about this seller | Contact this seller

Buy Used
US$ 4.60
Convert currency

Add to Basket

Shipping: US$ 2.52
From United Kingdom to U.S.A.
Destination, rates & speeds

3.

B. Ratcliff
Published by McGraw-Hill Publishing Co. (1994)
ISBN 10: 0077079655 ISBN 13: 9780077079659
Used Softcover Quantity Available: 1
Seller:
Anybook Ltd.
(Lincoln, United Kingdom)
Rating
[?]

Book Description McGraw-Hill Publishing Co., 1994. Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Seller Inventory # 6817909

More information about this seller | Contact this seller

Buy Used
US$ 1.21
Convert currency

Add to Basket

Shipping: US$ 6.78
From United Kingdom to U.S.A.
Destination, rates & speeds

4.

B. Ratcliff
Published by McGraw-Hill Publishing Co. (1994)
ISBN 10: 0077079655 ISBN 13: 9780077079659
Used Softcover Quantity Available: 1
Seller:
MusicMagpie
(Stockport, United Kingdom)
Rating
[?]

Book Description McGraw-Hill Publishing Co., 1994. Condition: Very Good. Seller Inventory # U9780077079659

More information about this seller | Contact this seller

Buy Used
US$ 4.41
Convert currency

Add to Basket

Shipping: US$ 6.28
From United Kingdom to U.S.A.
Destination, rates & speeds

5.

Ratcliff, Bryan
Published by McGraw-Hill (1994)
ISBN 10: 0077079655 ISBN 13: 9780077079659
Used Paperback Quantity Available: 1
Seller:
Duck Cottage Books
(HARLESTON, United Kingdom)
Rating
[?]

Book Description McGraw-Hill, 1994. Paperback. Condition: Good. No Jacket. Still a sound introduction to the topic. Condition: Little knocked about externally, but internally sound and clean. Certainly a good study copy. Seller Inventory # 662

More information about this seller | Contact this seller

Buy Used
US$ 10.38
Convert currency

Add to Basket

Shipping: US$ 19.52
From United Kingdom to U.S.A.
Destination, rates & speeds