Object-oriented programming in Eiffel

Providing an easy-to-understand introduction to programming in the Eiffel language, this book details logical assertions and the design of object oriented systems. Covers basic Eiffel language programming in the first part of the book; the second part covers the assertion language. Employs a large case study to illustrate each topic in a realistic system, and shows how Eiffel supports and requires code re-use. Object-Oriented Series, Bertrand Meyer editor. For Eiffel language programmers and non object oriented programmers.