Synopsis
This book describes an object-oriented design approach that combines the benefits of abstract modeling with the analytic power of formal methods to give designs that can be rigorously validated and assured with automated support. Aimed at software architects, designers, and developers as well as computer scientists, the elements of functional modeling are introduced using numerous examples and exercises, industrial case studies, and experience reports. Industry-strength tools support the text.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Validated Designs For Object-oriented Systems
Image d'archives
Validated Designs for Object-Oriented Systems
Edité par
Springer, 2005
ISBN 10 : 1852338814
ISBN 13 : 9781852338817
Ancien ou d'occasion
Couverture rigide
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. No Jacket. Former library book; Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G1852338814I3N11
Acheter D'occasion
EUR 11,25
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Validated Designs for Object-Oriented Systems
Edité par
Springer London, Limited, 2005
ISBN 10 : 1852338814
ISBN 13 : 9781852338817
Ancien ou d'occasion
Couverture rigide
Vendeur : TextbookRush, Grandview Heights, OH, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 45927798
Acheter D'occasion
EUR 11,26
Expédition à EUR 3,46
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 3 disponible(s)
Image d'archives
Validated Designs for Object-Oriented Systems
Edité par
Springer London, Limited, 2005
ISBN 10 : 1852338814
ISBN 13 : 9781852338817
Ancien ou d'occasion
Couverture rigide
Vendeur : TextbookRush, Grandview Heights, OH, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 45929161
Acheter D'occasion
EUR 11,26
Expédition à EUR 3,46
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Validated Designs for Object-Oriented Systems
Edité par
Springer, 2005
ISBN 10 : 1852338814
ISBN 13 : 9781852338817
Ancien ou d'occasion
Couverture rigide
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9781852338817. N° de réf. du vendeur 3965427
Acheter D'occasion
EUR 17,29
Expédition à EUR 15,35
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Validated Designs for Object-oriented Systems
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 416. N° de réf. du vendeur 26290014
Acheter neuf
EUR 36,97
Expédition à EUR 3,46
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Validated Designs for Object-oriented Systems
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 416 Illus. N° de réf. du vendeur 7590657
Acheter neuf
EUR 32,99
Expédition à EUR 7,45
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Validated Designs for Object-oriented Systems
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 416. N° de réf. du vendeur 18290004
Acheter neuf
EUR 31,75
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Validated Designs for Object-oriented Systems.
Edité par
London, Springer., 2005
ISBN 10 : 1852338814
ISBN 13 : 9781852338817
Ancien ou d'occasion
Couverture rigide
Vendeur : Universitätsbuchhandlung Herta Hold GmbH, Berlin, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
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. N° de réf. du vendeur 36247HB
Acheter D'occasion
EUR 13
Expédition à EUR 30
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Validated Designs for Object-oriented Systems
Vendeur : BennettBooksLtd, Los Angeles, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : New. In shrink wrap. Looks like an interesting title! N° de réf. du vendeur Q-1852338814
Acheter neuf
EUR 68,91
Expédition à EUR 6,03
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Validated Designs for Object-Oriented Systems
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Gebunden. Etat : 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. N° de réf. du vendeur 4289830
Acheter neuf
EUR 88,88
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles