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.