![[cover]](../m/covers/oosc.jpg)
Rating: 2
[ unmissable | great stuff | worth reading | passes the time | waste of time | unfinishable ]
An excellent introduction to OO software design from a formalist viewpoint, based around, but not dependent on, the Eiffel language.
![[cover]](../m/covers/itpl.jpg)
Rating: 2.5
[ unmissable | great stuff | worth reading | passes the time | waste of time | unfinishable ]
Denotational and axiomatic semantics for the masses.
![[cover]](../b/covers/9820.jpg)
![[cover]](../m/covers/eiffel.jpg)
Rating: 3
[ unmissable | great stuff | worth reading | passes the time | waste of time | unfinishable ]
The book of the language, from its inventor, written in his usual discursive style. A good read for understanding the language, rather harder, but still possible, to use as a laguange reference.
![[cover]](../m/covers/oosc2.jpg)
A complete reworking of the first edition, and extended to cover new areas. Some think this long-awaited second edition is not an improvement on its slimmer original. I haven't read it yet.
![[no cover]](../../nocover.jpg)
Introduces The Seven Sins of the Specifier