Validated Designs for Object-oriented Systems
Language: English
Published by Springer, 2005
- Hardcover
- New
Seller: Textbook Bookie, Little Rock, AR, U.S.A.Textbook Bookie
AbeBooks seller since October 5, 2026
Condition: New
US$ 92.99
Quantity: 1 available
Add to basketItem description from seller
Book in New condition.
Seller Inventory # 9781852338817-new
- Title
- Validated Designs for Object-oriented Systems
- Author
- Fitzgerald John,Larsen Peter Gorm,Mukherjee Paul,Plat Nico,Verhoef Marcel
- Publisher
- Springer
- Publication year
- 2005
- Condition
- New
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 1852338814
- ISBN 13
- 9781852338817
Object-oriented design methods are commonplace in computing systems development, but are often dismissed as 'boxes & arrows'. If systems developers are to gain full advantage from such methods, they should be able to achieve designs that are not merely the subject of heated argument, but can be improved by careful, rigorous & machine-supported analysis.
This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic power of formal methods, to give designs that can be rigorously validated & assured with automated support.
Aimed at software architects, designers & developers as well as computer scientists, no prior knowledge of formal methods is assumed. The elements of functional modelling are introduced using numerous examples & exercises, industrial case studies & experience reports. Industry-strength tools support the text. Go to www.vdmbook.com to download free-of-charge VDMTools Lite, which gives the possibility to try out examples from the book
"Synopsis" may belong to another edition of this title.
Textbook Bookie
Little Rock, AR, U.S.A.
AbeBooks seller since October 5, 2026
Shipping rates within U.S.A.
| Item | 7 to 14 business days | 3 to 6 business days |
|---|---|---|
| First item | US$ 4.25 | US$ 7.00 |
Payment methods
Store description
Your trusted source for textbooks for nearly 28 years. Since 1998, Textbook Bookie and its affiliates have provided quality new and used textbooks at affordable prices. We take pride in accurate listings, fast shipping, and friendly, dependable customer service. Orders received before 12 PM CT ship the same business day. Orders received after 12 PM may ship the same day but are not guaranteed to ship until the next business day. If you have any questions or concerns with your order, please contact us through AbeBooks. We’re always happy to help! Thank you for choosing Textbook Bookie and its affiliates!…
Specialty
TextbooksSeller's business information
Textbook Bookie
AR, U.S.A.
Terms of sale
We have a 14 day return policy. The return must be postmarked within 14 days of the delivery date. If you are unable to have the item postmarked within 14 days of the delivery date, please contact us for further information. Once the item has been returned, we will initiate an item-only refund (shipping costs are non- refundable). The item must be returned in the same condition as it was advertised. Please contact us prior to returning the item if the condition of the item received is not the same as the condition advertised. Items returned to other locations other then the one specified below will be subject to additional restocking fees. Items not postmarked within 14 days of delivery and received back in store during this time will also be subject to additional restocking fees. Please use Media Mail Shipping and obtain return tracking on all items being shipped back for return. Please do not mark the item "Return or Sender" or "Refuse." Please return the item to the address on the returns information for AbeBooks. If you have any questions regarding this return policy, please contact us prior to returning the item. Thank you for your understanding. Textbook Bookie 316 N 10th Street Arkadelphia AR 71293 870-246-2181 textbookbookie@texastext.net Customer Service Manager: Krystin
Shipping terms
Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.