27 results
Appendix C - Notational Convention
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 394-401
-
- Chapter
- Export citation
Picture Gallery
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 236-254
-
- Chapter
- Export citation
Part I - Theory
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 1-1
-
- Chapter
- Export citation
4 - Properties of Simulation
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 73-89
-
- Chapter
- Export citation
6 - A Hoare Logic
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 121-131
-
- Chapter
- Export citation
Preface
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp viii-xii
-
- Chapter
- Export citation
Appendix D - Precedences
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 402-403
-
- Chapter
- Export citation
Appendix B - A Primer on Ordinals and Transfinite Induction
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 387-393
-
- Chapter
- Export citation
Part II - Applications
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 255-256
-
- Chapter
- Export citation
Appendix A - An Introduction to Hoare Logic
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 363-386
-
- Chapter
- Export citation
8 - An Extension to Total Correctness
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 146-180
-
- Chapter
- Export citation
12 - VDM
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 289-316
-
- Chapter
- Export citation
7 - Simulation and Hoare Logic
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 132-145
-
- Chapter
- Export citation
Contents
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp v-vii
-
- Chapter
- Export citation
10 - Refinement Calculus
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 194-235
-
- Chapter
- Export citation
13 - Z, Hehner's Method, and Back's Refinement Calculus
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 317-339
-
- Chapter
- Export citation
11 - Reynolds' Method
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 257-288
-
- Chapter
- Export citation
5 - Notation and Semantics
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 90-120
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805216/41708/cover/9780521641708.jpg)
Data Refinement
- Model-Oriented Proof Methods and their Comparison
-
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998
14 - Refinement Methods due to Abadi and Lamport and to Lynch
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 340-362
-
- Chapter
- Export citation