Items related to Validated Designs for Object-oriented Systems
This book provides an introduction to practical formal modelling techniques in the context of object-oriented system design. It is aimed at both practising software engineers with some prior experience of object-oriented design/programming and at intermediate or advanced students studying object-oriented design or modelling in a short course. The following features make this book particularly attractive to potential instructors: § The relationship with UML and object-oriented programming makes it easy to integrate with the mainstream computing curriculum. Although the book is about formal methods, it does not have to be treated as a specialist topic. § The use of tools and an accessible modelling language improves student motivation. § The industry-based examples and case studies add to the credibility of the approach. § The light touch approach means that the material appeals to students with a wider range of abilities than is the case in a conventional formal methods text. § Support materials as listed above.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2005
- ISBN 10 1852338814
- ISBN 13 9781852338817
- BindingHardcover
- Number of pages416
Buy New
Learn more about this copy
US$ 30.30
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Validated Designs For Object-Oriented Systems
Seller:
Rating
Book Description Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT23-176181
Buy New
US$ 30.30
Convert currency
Stock Image
Validated Designs for Object-oriented Systems
Seller:
Rating
Book Description Condition: New. pp. 416. Seller Inventory # 26290014
Buy New
US$ 31.54
Convert currency
Stock Image
Validated Designs for Object-oriented Systems
Seller:
Rating
Book Description Condition: New. pp. 416 Illus. Seller Inventory # 7590657
Buy New
US$ 31.04
Convert currency
Seller Image
Validated Designs for Object-oriented Systems by Fitzgerald, John, Larsen, Peter Gorm, Mukherjee, Paul, Plat, Nico, Verhoef, Marcel [Hardcover ]
Seller:
Rating
Book Description Hardcover. Condition: new. Seller Inventory # 9781852338817
Buy New
US$ 79.63
Convert currency
Stock Image
Validated Designs for Object-oriented Systems
Published by
Springer
(2005)
ISBN 10: 1852338814
ISBN 13: 9781852338817
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar2912160256867
Buy New
US$ 85.61
Convert currency
Stock Image
Validated Designs for Object-oriented Systems
Published by
Springer
(2005)
ISBN 10: 1852338814
ISBN 13: 9781852338817
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9781852338817_lsuk
Buy New
US$ 83.92
Convert currency
Stock Image
VALIDATED DESIGNS FOR OBJECT-ORI
Seller:
Rating
Book Description Condition: New. New. In shrink wrap. Looks like an interesting title! 1.54. Seller Inventory # Q-1852338814
Buy New
US$ 102.82
Convert currency
Stock Image
Validated Designs for Object-oriented Systems
Seller:
Rating
Book Description Condition: New. 2005. Hardcover. . . . . . Seller Inventory # V9781852338817
Buy New
US$ 124.82
Convert currency
Stock Image
Validated Designs for Object-oriented Systems
Seller:
Rating
Book Description Condition: New. 2005. Hardcover. . . . . . Books ship from the US and Ireland. Seller Inventory # V9781852338817
Buy New
US$ 145.84
Convert currency
Seller Image
Validated Designs for Object-Oriented Systems
Published by
Springer London
(2005)
ISBN 10: 1852338814
ISBN 13: 9781852338817
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Presents formal modelling techniques in a context that will be familiar to practitioners and students with no prior experience of formalism, namely object-oriented designAdvocates formal modelling as an enhancement to common design practice. Seller Inventory # 4289830
Buy New
US$ 105.15
Convert currency