Name: validated designs for object-oriented systems
Price: 75.03 EUR
Availability: InStock
Author: Fitzgerald, John ; Larsen, Peter Gorm ; Mukherjee, Paul
ISBN: 9781852338817

Select your country

Americas

Europe

Rest of the world

portada validated designs for object-oriented systems

validated designs for object-oriented systems

Type

Physical Book

Author

Publisher

Language

English

Pages

402

Format

Hardcover

Dimensions

24.2 x 16.7 x 2.4 cm

Weight

0.72 kg.

ISBN

1852338814

ISBN13

9781852338817

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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

validated designs for object-oriented systems - Fitzgerald, John ; Larsen, Peter Gorm ; Mukherjee, Paul

Synopsis "validated designs for object-oriented systems"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery