Data Refinement
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | December 3, 1998 |
| Authors | W. -P. de Roever |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2910786 |
About Data Refinement
The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on the general principles needed to prove data refinement correct. . . .