Specifying Software - A Hands-On Introduction - R. D. Tennent - Paperback Bog - Cambridge University Press - 2002 - Engelsk - Booktok.dk
Brand: Cambridge University Press
Description
An introductory textbook on software specifications suitable for programming students with some background in discrete mathematics and logic. The author adopts a unique 'hands-on' approach, presenting basic concepts in the context of numerous small programming examples. Topics include assertional notations, state diagrams, grammars, and regular expressions.
