Validated Designs for Object-Oriented Systems
Language: English
Published by Springer, 2010
- Softcover
- Used
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.ThriftBooks-Dallas
AbeBooks seller since July 2, 2009
Condition: Used - Good
US$ 53.93
Quantity: 1 available
Add to basketItem description from seller
Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
Seller Inventory # G1849969434I3N00
- Title
- Validated Designs for Object-Oriented Systems
- Author
- Fitzgerald, John; Larsen, Peter Gorm; Mukherjee, Paul
- Publisher
- Springer
- Publication year
- 2010
- Condition
- Good
- Dust jacket
- No Jacket
- Binding
- Paperback
- Language
- English
- ISBN 10
- 1849969434
- ISBN 13
- 9781849969437
- Item weight
- 1.28 pounds
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.
ThriftBooks-Dallas
Dallas, TX, U.S.A.
AbeBooks seller since July 2, 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
ThriftBooks is a fully independent seller of used books, having sold more than 160 million used and new books since we started in 2003. Each quality used book is sorted, graded, shelved and shipped by hand by our team of dedicated employees in our seven warehouses across the US. We have the best selection of books, in the right condition and format, at everyday low prices. We also have a dedicated, US-based Customer Service team, ranked in the top three by Newsweek for Best Customer Service in 2018 and 2019, so you can shop with confidence. We support and invest in our employees, appreciate and value our customers, and truly believe in the power of the written word to educate, energize, and engage readers of all ages and interests.…
Seller's business information
Thrift Books Global LLC
18300 Cascade Ave S
Seattle, WA U.S.A. 98188
Terms of sale
We guarantee each book that we send you. If you have any problems, please contact
our dedicated customer service department. They will do everything possible to
ensure you are happy with your order.
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.