
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 Paperback Book (Book with soft cover and glued back) |
Released | February 25, 2002 |
ISBN13 | 9780521004015 |
Publishers | Cambridge University Press |
Pages | 302 |
Dimensions | 234 × 181 × 24 mm · 482 g |