Text OnlySkip Navigation
The Coverimage
byR.D. Tennent
Cambridge University Press 2002 (302 pages) Citation
ISBN:9780521808149

This text offers a hands-on introduction to techniques for specifying the behavior of software components with techniques for using programmer-friendly assertional notations.