
Tell your friends about this 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
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | October 27, 1992 |
ISBN13 | 9783540197522 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 381 |
Dimensions | 155 × 235 × 21 mm · 548 g |
Language | German |
Editor | Denvir, Tim |
Editor | Jones, Cliff B. |
Editor | Shaw, Roger C. |