Validated Designs for Object-oriented Systems

Fitzgerald, John S.; Larsen, Peter Gorm; Mukherjee, Paul; Plat, Nico; Verhoef, Marcel

ISBN 10: 1849969434 ISBN 13: 9781849969437

Edit� par Springer, 2010

Neuf(s) Couverture souple

Vendeur Best Price, Torrance, CA, Etats-Unis �valuation du vendeur 5 sur 5 �toiles

Vendeur AbeBooks depuis 30 ao�t 2024

Cet article sp�cifique n'est plus disponible.

Afficher tous les articles du vendeur Cr�er une demande de livres portant sur des articles similaires

Afficher tous les exemplaires de ce livre

A propos de cet article

SUPER FAST SHIPPING. N� de r�f. du vendeur 9781849969437

Signaler cet article

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 � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

D�tails bibliographiques

Titre : Validated Designs for Object-oriented Systems
�diteur : Springer
Date d'�dition : 2010
Reliure : Couverture souple
Etat : New

Meilleurs r�sultats de recherche sur AbeBooks

Image fournie par le vendeur

Validated Designs for Object-oriented Systems

Fitzgerald, John

Edit� par Springer, 2010

ISBN 10 : 1849969434 ISBN 13 : 9781849969437

Ancien ou d'occasion Couverture souple

Vendeur : WeBuyBooks, Rossendale, LANCS, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. N� de r�f. du vendeur wbs4307461065

Contacter le vendeur

Acheter D'occasion

EUR 44,57

EUR 8,23 shipping
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Validated Designs for Object-oriented Systems

John Fitzgerald|Peter Gorm Larsen|Paul Mukherjee|Nico Plat|Marcel Verhoef

Edit� par Springer London, 2010

ISBN 10 : 1849969434 ISBN 13 : 9781849969437

Neuf Kartoniert / Broschiert

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents formal modelling techniques in a context that will be familiar to practitioners&nbspand 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 4288999

Contacter le vendeur

Acheter neuf

EUR 64,31

EUR 48,99 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Validated Designs for Object-oriented Systems

John Fitzgerald (u. a.)

Edit� par Springer London, 2010

ISBN 10 : 1849969434 ISBN 13 : 9781849969437

Neuf Taschenbuch

impression � la demande

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Contacter le vendeur

Acheter neuf

EUR 66,85

EUR 70 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 5 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Validated Designs for Object-oriented Systems

John Fitzgerald

Edit� par Springer London, Springer London Okt 2010, 2010

ISBN 10 : 1849969434 ISBN 13 : 9781849969437

Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch. N� de r�f. du vendeur 9781849969437

Contacter le vendeur

Acheter neuf

EUR 74,85

EUR 60 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Validated Designs for Object-oriented Systems

John Fitzgerald

Edit� par Springer London Okt 2010, 2010

ISBN 10 : 1849969434 ISBN 13 : 9781849969437

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 416 pp. Englisch. N� de r�f. du vendeur 9781849969437

Contacter le vendeur