6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
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
1 - Introduction to Data Refinement
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 2-18
-
- Chapter
- Export citation
Index
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 419-423
-
- Chapter
- Export citation
9 - Simulation and Total Correctness
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 181-193
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 404-418
-
- Chapter
- Export citation
2 - Simulation as a Proof Method for Data Refinement
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 19-48
-
- Chapter
- Export citation
3 - Relations and Recursion
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 49-72
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp i-iv
-
- Chapter
- Export citation
On Biased Positional Games
-
- Journal:
- Combinatorics, Probability and Computing / Volume 7 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 01 December 1998, pp. 339-351
-
- Article
- Export citation
On a Combinatorial Theorem of Erdös, Ginzburg and Ziv
-
- Journal:
- Combinatorics, Probability and Computing / Volume 7 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 01 December 1998, pp. 403-412
-
- Article
- Export citation
Common Subsequences and Supersequences and their Expected Length
-
- Journal:
- Combinatorics, Probability and Computing / Volume 7 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 01 December 1998, pp. 365-373
-
- Article
- Export citation