.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
5th Refinement Workshop
. Ed(S): Jones, Cliff B.; Shaw, Roger C.; Denvir, Tim
€ 67.93
FREE Delivery in Ireland
Description for 5th Refinement Workshop
Paperback. This volume contains the papers presented at a conference on computer refinement, which is the term used to describe systematic and formal methods of specifying hardware and software. These specifications are then transformed into designs and implementations. Editor(s): Jones, Cliff B.; Shaw, Roger C.; Denvir, Tim. Series: Workshops in Computing. Num Pages: 381 pages, 3 black & white illustrations, biography. BIC Classification: UM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 605.
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 specifications, which is the transformation of formal software specifications into more ... Read more
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 specifications, which is the transformation of formal software specifications into more ... Read more
Product Details
Format
Paperback
Publication date
1992
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
381
Condition
New
Series
Workshops in Computing
Number of Pages
381
Place of Publication
Berlin, Germany
ISBN
9783540197522
SKU
V9783540197522
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for 5th Refinement Workshop