Share
validated designs for object-oriented systems (in English)
John Fitzgerald
(Author)
·
Peter Gorm Larsen
(Author)
·
Paul Mukherjee
(Author)
·
Springer
· Paperback
validated designs for object-oriented systems (in English) - Fitzgerald, John ; Larsen, Peter Gorm ; Mukherjee, Paul
$ 90.00
$ 95.00
You save: $ 5.00
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
Thursday, June 20 and
Friday, June 21.
You will receive it anywhere in United States between 1 and 3 business days after shipment.
Synopsis "validated designs for object-oriented systems (in English)"
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 Paperback.
✓ Producto agregado correctamente al carro, Ir a Pagar.