5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 - Workshops in Computing - Cliff B Jones - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540197522 - October 27, 1992
In case cover and title do not match, the title is correct

5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 - Workshops in Computing Edition. Ed. edition

Price
$ 65.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping May 27 - Jun 8
Add to your iMusic wish list

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.

More by Cliff B Jones

Show all