Articles liés à Validated Designs For Object-oriented Systems
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.
- ÉditeurSpringer London Ltd
- Date d'édition2005
- ISBN 10 1852338814
- ISBN 13 9781852338817
- ReliureRelié
- Langueanglais
- Nombre de pages404
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 34,87
EUR 7,95 expédition depuis Allemagne vers France
Destinations, frais et délaisAutres é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
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
Quantité disponible : 1 disponible(s)
Image d'archives
Validated Designs for Object-oriented Systems
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 416. N° de réf. du vendeur 18290004
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
Quantité disponible : 1 disponible(s)
Image d'archives
Validated Designs for Object-oriented Systems
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 416 Illus. N° de réf. du vendeur 7590657
Quantité disponible : 1 disponible(s)
Image d'archives
VALIDATED DESIGNS FOR OBJECT-ORIENTED SYSTEMS
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-325242
Quantité disponible : 1 disponible(s)
Image d'archives
Validated Designs For Object-oriented Systems
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-275407
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 : 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
Quantité disponible : 2 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
Quantité disponible : 3 disponible(s)
Image d'archives
Validated Designs for Object-oriented Systems
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9781852338817_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Validated Designs for Object-Oriented Systems
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 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
Quantité disponible : Plus de 20 disponibles