
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 Hardcover Book (Livro com lombada e capa dura) |
Lançado | 25 de fevereiro de 2002 |
ISBN13 | 9780521808149 |
Editoras | Cambridge University Press |
Páginas | 302 |
Dimensões | 152 × 229 × 21 mm · 615 g |
Idioma | English |
Ver tudo de Tennent, R. D. (Queen's University, Ontario) ( por exemplo Paperback Book e Hardcover Book )