.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
4th Refinement Workshop
. Ed(S): Shaw, Roger C.; Morris, J.M.
€ 69.50
FREE Delivery in Ireland
Description for 4th Refinement Workshop
Paperback. Contains the papers from a Refinement Workshop, organized by the British Computer Society in Cambridge, 1991. "Refinement" describes the systematic and formal methodology of specifying hardware and software and transforming the specifications into designs and implementations. Editor(s): Shaw, Roger C.; Morris, J.M. Series: Workshops in Computing. Num Pages: 480 pages, 2 black & white illustrations, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 216 x 138 x 25. Weight in Grams: 840.
This volume contains the proceedings ofthe 4th Refinement Workshop which was organised by the British Computer Society specialist group in Formal Aspects of Computing Science and held in Wolfson College, Cambridge, on 9-11 January, 1991. The term refinement embraces the theory and practice of using formal methods for specifying and implementing hardware and software. Most of the achievements to date in the field have been in developing the theoretical framework for mathematical approaches to programming, and on the practical side in formally specifying software, while more recently we have seen the development of practical approaches to deriving programs from their ... Read more
This volume contains the proceedings ofthe 4th Refinement Workshop which was organised by the British Computer Society specialist group in Formal Aspects of Computing Science and held in Wolfson College, Cambridge, on 9-11 January, 1991. The term refinement embraces the theory and practice of using formal methods for specifying and implementing hardware and software. Most of the achievements to date in the field have been in developing the theoretical framework for mathematical approaches to programming, and on the practical side in formally specifying software, while more recently we have seen the development of practical approaches to deriving programs from their ... Read more
Product Details
Format
Paperback
Publication date
1991
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
480
Condition
New
Series
Workshops in Computing
Number of Pages
480
Place of Publication
Berlin, Germany
ISBN
9783540196570
SKU
V9783540196570
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for 4th Refinement Workshop