Share
validated designs for object-oriented systems
John Fitzgerald
(Author)
·
Peter Gorm Larsen
(Author)
·
Paul Mukherjee
(Author)
·
Springer
· Hardcover
validated designs for object-oriented systems - Fitzgerald, John ; Larsen, Peter Gorm ; Mukherjee, Paul
£ 77.13
£ 85.70
You save: £ 8.57
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My WishlistsIt will be shipped from our warehouse between
Monday, July 08 and
Tuesday, July 09.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Synopsis "validated designs for object-oriented systems"
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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
The binding of this edition is Hardcover.
✓ Producto agregado correctamente al carro, Ir a Pagar.