
Conte aos seus amigos sobre este 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
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 25 de fevereiro de 2002 |
ISBN13 | 9780521004015 |
Editoras | Cambridge University Press |
Páginas | 302 |
Dimensões | 234 × 181 × 24 mm · 482 g |
Ver tudo de Tennent, R. D. (Queen's University, Ontario) ( por exemplo Paperback Book e Hardcover Book )