Items related to Validated Designs for Object-oriented Systems
Synopsis
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$ 31.93
Shipping:
FREE
Within U.S.A.
Other Popular Editions of the Same Title
Top Search Results from the AbeBooks Marketplace
Stock Image
Validated Designs for Object-Oriented Systems
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
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
Quantity: 1 available
Stock Image
Validated Designs for Object-oriented Systems
Seller: Solr Books, Skokie, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: VeryGood. Seller Inventory # 5D4000007VRD_ns
Quantity: 1 available
Stock Image
Validated Designs for Object-oriented Systems
Seller: Irish Booksellers, Portland, ME, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. book. Seller Inventory # 24-1852338814-G
Quantity: 1 available
Stock Image
Validated Designs for Object-Oriented Systems
Published by
Springer London, Limited, 2005
ISBN 10: 1852338814
ISBN 13: 9781852338817
Used
Hardcover
Seller: TextbookRush, Grandview Heights, OH, U.S.A.
Seller rating 5 out of 5 stars
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
Quantity: 3 available
Stock Image
Validated Designs for Object-Oriented Systems
Published by
Springer London, Limited, 2005
ISBN 10: 1852338814
ISBN 13: 9781852338817
Used
Hardcover
Seller: TextbookRush, Grandview Heights, OH, U.S.A.
Seller rating 5 out of 5 stars
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
Quantity: 2 available
Stock Image
VALIDATED DESIGNS FOR OBJECT-ORIENTED SYSTEMS
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-325242
Quantity: 2 available
Stock Image
Validated Designs for Object-oriented Systems
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 416. Seller Inventory # 26290014
Quantity: 1 available
Stock Image
Validated Designs for Object-oriented Systems
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 416 Illus. Seller Inventory # 7590657
Quantity: 1 available
Stock Image
Validated Designs for Object-oriented Systems.
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Seller rating 5 out of 5 stars
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
Quantity: 1 available
Stock Image
Validated Designs for Object-oriented Systems
Seller: Books Unplugged, Amherst, NY, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within 1.54. Seller Inventory # bk1852338814xvz189zvxgdd
Quantity: 1 available