Description: Using Z: Specification, Refinement, and Proof (Prentice-hall International Series in Computer Science) by Jim Woodcock; Jim Davies Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less
Price: 6.95 USD
Location: Aurora, Illinois
End Time: 2025-01-21T15:16:00.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
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:
Binding: Paperback
Book Title: Using Z
Weight: 1 lbs
Product Group: Book
IsTextBook: Yes
Number of Pages: 408 Pages
Publication Name: Using Z : Specification, Proof and Refinement
Language: English
Publisher: Prentice Hall PTR
Subject: Computer Science, Logic Design
Publication Year: 1996
Item Height: 3.9 in
Item Weight: 3.5 Oz
Type: Textbook
Item Length: 3.9 in
Author: Jim Davies, Jim Woodcock
Subject Area: Computers
Series: Prentice-Hall International Series in Computer Science Ser.
Item Width: 3.9 in
Format: Trade Paperback
