search for books and compare prices
cover image
4th Refinement Workshop: Proceedings of the 4th Refinement Workshop, Organised by Bcs-facs, 9-11 January 1991, Cambridge
By Roger C. Shaw (editor) and Joseph M. Morris (editor)
Price
Store
Arrives
Preparing
Shipping
The price is the lowest for any condition, which may be new or used; other conditions may also be available. Rental copies must be returned at the end of the designated period, and may involve a deposit.
Jump down to see edition details for: Paperback
Bibliographic Detail
Publisher Springer Verlag
Publication date June 12, 1991
Binding Paperback
Book category Adult Non-Fiction
ISBN-13 9783540196570
ISBN-10 3540196579
Published in Great Britain
Original list price $99.00
Summaries and Reviews
Amazon.com description: Product Description: 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 speCifications. The workshop gives a fair picture of the state of the art: it presents new theories for reasoning about software and hardware and case studies in applying known theory to interesting small-and medium-scale problems. We hope the book will be Of interest both to researchers in formal methods, and to software engineers in industry who want to keep abreast of possible applications of formal methods in industry. The programme consisted both of invited talks and refereed papers. The invited speakers were Ib S0rensen, Jean-Raymond Abrial, Donald MacKenzie, Ralph Back, Robert Milne, Mike Read, Mike Gordon, and Robert Worden who gave the introductory talk. This is the first refinement workshop that solicited papers for refereeing, and despite a rather late call for papers the response was excellent.

Editions
Paperback
Book cover for 9783540196570
 
The price comparison is for this edition
With Joseph M. Morris (other contributor) | from Springer Verlag (June 12, 1991)
9783540196570 | details & prices | List price $99.00
About: 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.

Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.