Description: Using Z: Specification, Refinement, and Proof (Prentice-Hall Internationa - GOOD Product Id:0139484728 Condition:USED_GOOD Notes:Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc...
Price: 10.22 USD
Location: Montgomery, Illinois
End Time: 2024-10-07T06:06:32.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Seller
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Return policy details:
Brand: Unbranded
Book Title: Using Z: Specification, Refinement, and Proof (Prentice-Hall Int
MPN: Does not apply
Item Length: 3.9in.
Item Height: 3.9in.
Item Width: 3.9in.
Author: Jim Davies, Jim Woodcock
Publication Name: Using Z : Specification, Proof and Refinement
Format: Trade Paperback
Language: English
Publisher: Prentice Hall PTR
Publication Year: 1996
Series: Prentice-Hall International Series in Computer Science Ser.
Type: Textbook
Item Weight: 3.5 Oz
Number of Pages: 408 Pages
