Science & Math | Mathematics
4th Refinement Workshop
by Joseph M. Morris 2020-09-22 09:24:40
image1
COMPARE PRICE
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 ref... 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 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. Less
  • Publication date
  • Language
  • ISBN
  • March 14, 2013
  • eng
  • 9781447137566
autor-image
Joseph M. Morris
Author
...
Compare Prices
image
PDF (drm free, digitally watermarked)
Buy AUD 139.00
Available Discount
12 % OFF
12% off Academic Book Titles (ebooks.com)
Show Coupon Code

See More Details

Description: Back to School Promotion at eBooks.com. 12% off Academic book titles. Landing page is on our academics category page. Static image.

10 % OFF
Save 10% OFF on Student Text Books (ebooks.com)
Show Coupon Code

See More Details

Description: Purchase textbooks at student discounts!

20 % OFF
20% Off on selected Categories
Show Coupon Code

See More Details

Description: 20% Off these Categories- Body Mind & Spirit, Family & Relationships, Foreign Language Study, History, Sports & Recreation. Offer Lasts all through January.

Related Books
view all
image1
Deductive Logic:
image1
Mathematical Modeling and Applied Calculus:
image1
Analyzing Longitudinal Clinical Trial Data:
image1
Intermediate Algebra & Analytic Geometry:
image1
The philosophy of mathematics:
image1
Probability:
image1
College Placement Math Success in 20 Minutes a Day:
image1
Topics in Computational Number Theory Inspired by Peter L. Montgomery:
image1
Bayesian Inference for Stochastic Processes:
image1
The King of Infinite Space : Euclid and His Elements:
image1
How to Think Like a Mathematician:
image1
A Treatise on Probability:
image1
The Earliest Arithmetics in English:
image1
Solutions Manual to accompany Fundamentals of Matrix Analysis with Applications:
image1
Introduction to Lie Groups and Lie Algebra, 51:
image1
Trigonometry Essentials Practice Workbook with Answers:
image1
Solving Problems in Geometry:
image1
Orthogonal Polynomials and Painlevé Equations:
image1
College Algebra:
image1
Set Theory An Introduction To Independence Proofs:
image1
Applied Linear Algebra:
image1
Introduction to Mathematical Philosophy:
image1
99 Variations on a Proof:
image1
An Introduction to Generalized Linear Models:
image1
Time Series Analysis with Long Memory in View:

Stay in touch.

© 2024 AMPLE READS