By R. D. Tennent
This leading edge quantity offers a hands-on advent to strategies for specifying the habit of software program elements. A textual content for a second-year undergraduate direction in machine technology and desktop Engineering courses, it's also compatible for self-study. This booklet may also help scholars to enhance their programming talents and achieve a valid starting place and motivation for next classes in complex algorithms and information buildings, software program layout, formal tools, compilers, programming languages, and idea. the most issues coated are suggestions for utilizing programmer-friendly assertional notations to specify, boost, and ascertain small yet non-trivial algorithms and knowledge representations, and using kingdom diagrams, grammars, and common expressions to specify and increase recognizers for formal languages. The presentation is predicated on quite a few examples and case reviews acceptable to the extent of programming services of the meant readership.