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 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,24
Frais de port :
EUR 3,46
Vers 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,24
Frais de port :
EUR 3,46
Vers 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,12
Frais de port :
EUR 14,68
De 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 33,99
Frais de port :
EUR 3,46
Vers 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,56
Frais de port :
EUR 7,37
De 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 32,60
Frais de port :
EUR 9,95
De 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 5 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
Frais de port :
EUR 30
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Validated Designs for Object-oriented Systems
Vendeur : BennettBooksLtd, San Diego, NV, 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,83
Frais de port :
EUR 6,03
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Validated Designs for Object-oriented Systems
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar2912160256867
Acheter neuf
EUR 76,68
Frais de port :
EUR 3,46
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
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
Acheter neuf
EUR 74,93
Frais de port :
EUR 13,59
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles