Using Z: Specification, Refinement, and Proof

by Woodcock, Jim

ISBN: 9780139484728
ISBN10: 0139484728

Sell your book

Using Z: Specification, Refinement, and Proof

by Woodcock, Jim

Binding: Paperback
Publisher: Prentice Hall
Publish date: 01/01/2006
ISBN: 9780139484728
ISBN10: 0139484728

used Add to Cart $18.72

You save: 45%

Marketplace Item

Product notice Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.

new Add to Cart $108.85

Marketplace Item

Product notice Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.

Description: 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. KEY TOPICS: 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.

Expand description

Product notice Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.

Seller

Condition

Comments

Price

Seller: Ergodebooks

★

Location: White Haven, PA

Condition:

Buy with confidence. Excellent Customer Service & Return policy.

Price:

$18.72

Add to Cart

Comments:

Buy with confidence. Excellent Customer Service & Return policy.

Seller: GridFreed

★

Location: North Las Vegas, NV

Condition:

Size: 8x6x1; New. In shrink wrap. Looks like an interesting title!

Price:

$108.85

Add to Cart

Comments:

Size: 8x6x1; New. In shrink wrap. Looks like an interesting title!

Please Wait

Error title

Using Z: Specification, Refinement, and Proof

by Woodcock, Jim

Using Z: Specification, Refinement, and Proof

by Woodcock, Jim

Notify Me When Available