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.38
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 Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.6. Seller Inventory # G1852338814I3N00
Buy Used
US$ 12.54
Convert currency
Stock Image
Validated Designs for Object-oriented Systems
Seller:
Rating
Book Description Condition: VeryGood. Seller Inventory # 5D4000007VRD_ns
Buy Used
US$ 8.56
Convert currency
Stock Image
Validated Designs for Object-Oriented Systems
Published by
Springer London, Limited
(2005)
ISBN 10: 1852338814
ISBN 13: 9781852338817
Used
Hardcover
Quantity: 2
Seller:
Rating
Book Description Condition: Very Good. Ships SAME or NEXT business day. We Ship to APO/FPO addr. Choose EXPEDITED shipping and receive in 2-5 business days within the United States. See our member profile for customer support contact info. We have an easy return policy. Seller Inventory # 45929161
Buy Used
US$ 13.01
Convert currency
Stock Image
Validated Designs for Object-Oriented Systems
Published by
Springer London, Limited
(2005)
ISBN 10: 1852338814
ISBN 13: 9781852338817
Used
Hardcover
Quantity: 3
Seller:
Rating
Book Description Condition: Good. Ships SAME or NEXT business day. We Ship to APO/FPO addr. Choose EXPEDITED shipping and receive in 2-5 business days within the United States. See our member profile for customer support contact info. We have an easy return policy. Seller Inventory # 45927798
Buy Used
US$ 13.01
Convert currency
Stock Image
Validated Designs for Object-Oriented Systems
Published by
Springer London, Limited
(2005)
ISBN 10: 1852338814
ISBN 13: 9781852338817
Used
Hardcover
First Edition
Quantity: 1
Seller:
Rating
Book Description Condition: Good. 1st Edition. Ships from the UK. Used book that is in clean, average condition without any missing pages. Seller Inventory # 47858946-75
Buy Used
US$ 12.55
Convert currency
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.38
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$ 30.54
Convert currency
Stock Image
Validated Designs for Object-oriented Systems.
Published by
London, Springer.
(2005)
ISBN 10: 1852338814
ISBN 13: 9781852338817
Used
Hardcover
Quantity: 1
Seller:
Rating
Book Description 89 figs., XII, 402 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch. Seller Inventory # 36247HB
Buy Used
US$ 14.48
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