5th Refinement Workshop
. Ed(S): Jones, Cliff B.; Shaw, Roger C.; Denvir, Tim
€ 64.85
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.
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
ISBN
9783540197522
SKU
V9783540197522
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for 5th Refinement Workshop