Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)

2.8 avg rating
( 5 ratings by Goodreads )
 
9780139484728: Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)

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.

From the Back Cover:

This is the first book to cover the three important areas of using the Z notation -- specification, rigorous and formal proof, and refinement into code. It covers sequences, schemas, promotion, preconditions, a logic for Z, sample theorems, data refinement, algorithm development, and more. For programmers, software designers, and software engineers. Previously announced in 2/93 PTR Catalog.

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

Top Search Results from the AbeBooks Marketplace

1.

Woodcock, Jim, Woodcock, J. C. P., Davie
Published by Prentice Hall (1996)
ISBN 10: 0139484728 ISBN 13: 9780139484728
New Paperback Quantity Available: 2
Seller
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Prentice Hall, 1996. Paperback. Book Condition: New. Bookseller Inventory # P110139484728

More Information About This Seller | Ask Bookseller a Question

Buy New
38.77
Convert Currency

Add to Basket

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

2.

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
(London, United Kingdom)
Rating
[?]

Book Description Pearson Education (US), United States, 1996. Paperback. Book Condition: New. 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
61.98
Convert Currency

Add to Basket

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

3.

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. 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
64.04
Convert Currency

Add to Basket

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

4.

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

Add to Basket

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

5.

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.01
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

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

Add to Basket

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

7.

Jim Woodcock; J. C. P. Woodcock; Jim Davies
Published by Prentice Hall (1996)
ISBN 10: 0139484728 ISBN 13: 9780139484728
New Softcover Quantity Available: 1
Print on Demand
Seller
Rating
[?]

Book Description Prentice Hall, 1996. Book Condition: New. This item is printed on demand for shipment within 3 working days. Bookseller Inventory # GM9780139484728

More Information About This Seller | Ask Bookseller a Question

Buy New
109.16
Convert Currency

Add to Basket

Shipping: 3.53
From Germany to U.S.A.
Destination, Rates & Speeds