What the book is not
The book covers a wide range of issues related to object oriented programming.
However,
- it is not a programming book
- it does not enforce a single development method
- it does not give a complete account of the semantics of object oriented
languages
- it does not give a full proof theory for verifying the correctness
of object oriented programs.
Instead, it provides a more or less self-contained introduction to
the various problems that must be dealt with in developing
and understanding object oriented software.