Using Z : Specification, Refinement, and Proof

3 avg rating
( 4 ratings by GoodReads )
 
9780139484728: Using Z : Specification, Refinement, and Proof

This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies. The essentials of specification, refinement and proof are covered, revealing techniques never previously published.

Exercises, Solutions and set of Tranparencies are available via http://www.comlab.ox.ac.uk/usingz.html

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

Top Search Results from the AbeBooks Marketplace

1.

Jim Woodcock, Jim Davies
Published by Pearson Education (US), United States (1996)
ISBN 10: 0139484728 ISBN 13: 9780139484728
New Paperback Quantity Available: 10
Print on Demand
Seller
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Pearson Education (US), United States, 1996. Paperback. Book Condition: New. 228 x 170 mm. Language: English . Brand New Book ***** Print on Demand *****.This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies. The essentials of specification, refinement and proof are covered, revealing techniques never previously published. Exercises, Solutions and set of Tranparencies are available via. Bookseller Inventory # AAV9780139484728

More Information About This Seller | Ask Bookseller a Question

Buy New
62.12
Convert Currency

Add to Basket

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

2.

Woodcock, Jim
Published by Prentice Hall (2016)
ISBN 10: 0139484728 ISBN 13: 9780139484728
New Paperback Quantity Available: 1
Print on Demand
Seller
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Prentice Hall, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9780139484728_lsuk

More Information About This Seller | Ask Bookseller a Question

Buy New
64.28
Convert Currency

Add to Basket

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

3.

Jim Woodcock
Published by Pearson Education (1996)
ISBN 10: 0139484728 ISBN 13: 9780139484728
New Quantity Available: > 20
Print on Demand
Seller
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Pearson Education, 1996. PAP. Book Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # LQ-9780139484728

More Information About This Seller | Ask Bookseller a Question

Buy New
59.31
Convert Currency

Add to Basket

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

4.

J. C. P. Woodcock, Jim Davies
Published by Pearson Education (US), United States (1996)
ISBN 10: 0139484728 ISBN 13: 9780139484728
New Paperback Quantity Available: 10
Print on Demand
Seller
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description Pearson Education (US), United States, 1996. Paperback. Book Condition: New. 228 x 170 mm. Language: English . Brand New Book ***** Print on Demand *****. This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies. The essentials of specification, refinement and proof are covered, revealing techniques never previously published. Exercises, Solutions and set of Tranparencies are available via. Bookseller Inventory # AAV9780139484728

More Information About This Seller | Ask Bookseller a Question

Buy New
71.67
Convert Currency

Add to Basket

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

5.

Woodcock, Jim/ Davies, Jim
Published by Prentice Hall (1996)
ISBN 10: 0139484728 ISBN 13: 9780139484728
New Quantity Available: 1
Seller
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Prentice Hall, 1996. Textbook Binding. Book Condition: Brand New. 386 pages. 9.25x7.00x0.75 inches. In Stock. Bookseller Inventory # zk0139484728

More Information About This Seller | Ask Bookseller a Question

Buy New
66
Convert Currency

Add to Basket

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