Error title

Some error text about your books and stuff.

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

List Price: $34.00
Binding: Paperback
Publisher: Prentice Hall
Publish date: 01/01/2006
ISBN: 9780139484728
ISBN10: 0139484728

used Add to Cart $2.75

You save: 92%

Marketplace Item

new Add to Cart $89.28

Marketplace Item

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

Seller

Condition

Comments

Price

Seller: Better World Books West

★

Location: Mishawaka, IN

Condition:

Ships from Reno, NV. Former Library book. Shows definite wear, and perhaps

[...]

Price:

$2.75

Add to Cart

Comments:

Ships from Reno, NV. Former Library book. Shows definite wear, and perhaps

[...]

Seller: secondsale

★

Location: Montgomery, IL

Condition:

Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc...

Price:

$4.04

Add to Cart

Comments:

Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc...

Seller: GoodDealsOnUsedBooks

★

Location: Aurora, IL

Condition:
Shipping Icon

0139484728 Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc...

Price:

$4.55

Add to Cart

Comments:

0139484728 Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc...

Seller: Solr Books

★

Location: Skokie, IL

Condition:
Shipping Icon

Great reading/study copy. May have highlights and/or notes. Ships Fast! Satisfaction Guaranteed!

Price:

$5.58

Add to Cart

Comments:

Great reading/study copy. May have highlights and/or notes. Ships Fast! Satisfaction Guaranteed!

Seller: AwesomeBooksUSA

★

Location: Valley Cottage, NY

Condition:

This book is in very good condition. The cover may have some limited signs of

[...]

Price:

$8.82

Add to Cart

Comments:

This book is in very good condition. The cover may have some limited signs of

[...]

Seller: Ergodebooks

★

Location: Richmond, TX

Condition:

Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.

Price:

$18.95

Add to Cart

Comments:

Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.

Seller: One Stop Shop Bookstore

★

Location: Memphis, TN

Condition:
Shipping Icon

Price:

$30.16

Add to Cart

Comments:

Seller: Found Books

★

Location: AUSTIN, TX

Condition:

0139484728.

Price:

$34.87

Add to Cart

Comments:

0139484728.

Seller: Ergodebooks

★

Location: Richmond, TX

Condition:

Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.

Price:

$89.28

Add to Cart

Comments:

Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.

Seller: Awesomebooks_Newbooks

★

Location: Valley Cottage, NY

Condition:

BRAND NEW BOOK! Shipped within 24-48 hours. Normal delivery time is 5-12

[...]

Price:

$93.83

Add to Cart

Comments:

BRAND NEW BOOK! Shipped within 24-48 hours. Normal delivery time is 5-12

[...]

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