
Tell your friends about this item:
Specifying Software: A Hands-On Introduction
Tennent, R. D. (Queen's University, Ontario)
Specifying Software: A Hands-On Introduction
Tennent, R. D. (Queen's University, Ontario)
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.
302 pages, 29 b/w illus. 1 table 215 exercises
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | February 25, 2002 |
ISBN13 | 9780521808149 |
Publishers | Cambridge University Press |
Pages | 302 |
Dimensions | 152 × 229 × 21 mm · 615 g |
Language | English |