5th Refinement Workshop
Broschiertes Buch

5th Refinement Workshop

Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992

Herausgegeben von Jones, Cliff B.; Shaw, Roger C.; Denvir, Tim
Versandkostenfrei!
Versandfertig in 1-2 Wochen
39,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
20 °P sammeln!
Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hard- and software is widely appreciated by academics and workers in industry, despite the fact that certain research areas, such as the application to industrial-scale problems, are still in their infancy. This volume contains the papers presented at the 5th Refinement Workshop held in London, 8-10 January 1992. Its theme was the theory and practice of software specificatio...