Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

5th Refinement Workshop

Proceedings of the 5th Refinement Workshop, Organised by Bcs-Facs, London, 8-10 January 1992

5th Refinement Workshop( )
Editor: Jones, C. B.
Shaw, R.C.
Denvir, T.
Series title:Workshops in Computing Ser.
ISBN:978-3-540-19752-2
Publication Date:Oct 1992
Publisher:Springer
Book Format:Paperback
List Price:USD $109.00
Book Description:

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...
More Description

Book Details
Pages:381
Physical Dimensions (W X L X H):6.045 x 9.165 Inches
Book Weight:1.331 Pounds



Featured Books

A Minute to Midnight
Baldacci, David
Hardback: $29.00
Sisters First
Hager, Jenna Bush
Hardback: $18.99
Madame Bovary
Flaubert, Gustave
Paperback: $24.00

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.