R D Tennent

R D Tennent is the author of books such as Specifying Software.

Books by R D Tennent

Specifying Software

Specifying Software

No cover image available

Principles Of Programming Languages

Semantics Of Programming Languages

Semantics Of Programming Languages

No cover image available

Specifying Software a Hands-On Introduction