Introduction to Formal Specification and Z
Ben Potter; Jane Sinclair; David Till
Language: English
Published by Prentice Hall, 1996
- Softcover
- Used

Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
AbeBooks seller since March 24, 2009
Condition: Used - Good
US$ 16.66
Quantity: 1 available
Add to basketItem description from seller
Seller Inventory # G0132422077I3N00
- Title
- Introduction to Formal Specification and Z
- Author
- Ben Potter; Jane Sinclair; David Till
- Publisher
- Prentice Hall
- Publication year
- 1996
- Condition
- Good
- Dust jacket
- No Jacket
- Binding
- Paperback
- Language
- English
- ISBN 10
- 0132422077
- ISBN 13
- 9780132422079
- Item weight
- 1.55 pounds
Following the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years.
"Synopsis" may belong to another edition of this title.
From the Back Cover
"About the title" may belong to another edition of this title.
ThriftBooks-Atlanta
AUSTELL, GA, U.S.A.
AbeBooks seller since March 24, 2009
Shipping rates within U.S.A.
| Item | 4 to 8 business days | 4 to 8 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 0.00 |
Payment methods
Store description
Seller's business information
Thrift Books Global, LLC
18300 Cascade Ave S, Ste 150
Seattle, WA U.S.A. 98188
Terms of sale
We guarantee the condition of every book as it's described
on the Abebooks website. If you're dissatisfied with your
purchase (Incorrect Book/Not as Described/Damaged) or if the
order hasn't arrived, you're eligible for a refund within 30
days of the estimated delivery date. If you've changed your
mind about a book that you've ordered, please use the "Ask
bookseller a question link to contact us" and we'll respond
as soon as possible.
Shipping terms
All domestic Standard shipments are distributed from our warehouses by OSM, then handed off to the USPS for final delivery.
2-Day Shipping is delivered by FedEx, which does not deliver to PO boxes.
International shipments are tendered to the local postal service in the destination country for final delivery – We do not use courier services for international deliveries.