Conte aos seus amigos sobre este item:
5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 - Workshops in Computing Edition. Ed. edition
Cliff B Jones
5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 - Workshops in Computing Edition. Ed. edition
Cliff B Jones
Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations.
381 pages, 3 black & white illustrations, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 27 de outubro de 1992 |
ISBN13 | 9783540197522 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 381 |
Dimensões | 155 × 235 × 21 mm · 548 g |
Editor | Denvir, Tim |
Editor | Jones, Cliff B. |
Editor | Shaw, Roger C. |
Mais por Cliff B Jones
Ver tudo de Cliff B Jones ( por exemplo Paperback Book e Hardcover Book )