- We will send in 10–14 business days.
/images/books/12407323/9781849969437.jpg)
- Author: John Fitzgerald
- Publisher: Springer
- Year: 2010
- Pages: 404
- ISBN-10: 1849969434
- ISBN-13: 9781849969437
- Format: 15.6 x 23.4 x 2.2 cm, softcover
- Language: English
- SAVE -10% with code: EXTRA
Reviews
Description
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.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 19d.13:41:49
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: John Fitzgerald
- Publisher: Springer
- Year: 2010
- Pages: 404
- ISBN-10: 1849969434
- ISBN-13: 9781849969437
- Format: 15.6 x 23.4 x 2.2 cm, softcover
- Language: English 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.
Reviews