6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
Index
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 332-335
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp i-iv
-
- Chapter
- Export citation
11 - Towards large systems
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 287-302
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805214/17235/cover/9780521417235.gif)
Deductive and Declarative Programming
-
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992
0 - Introduction
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp 1-7
-
- Chapter
- Export citation
8 - Implementing state-based specifications
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 199-240
-
- Chapter
- Export citation
4 - Implementing algebraic specifications
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 79-110
-
- Chapter
- Export citation
III - Advanced techniques
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 241-242
-
- Chapter
- Export citation
1 - Preliminaries
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp 8-17
-
- Chapter
- Export citation
8 - Examples
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp 162-218
-
- Chapter
- Export citation
3 - Models and Correctness
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp 33-46
-
- Chapter
- Export citation
References
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp 269-274
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805214/35925/cover/9780521435925.jpg)
Formal Specification and Design
-
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992
6 - Setting up state-based specifications
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 143-170
-
- Chapter
- Export citation
List of figures
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp x-xi
-
- Chapter
- Export citation
7 - Structuring state-based specifications
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 171-198
-
- Chapter
- Export citation
Index
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 221-223
-
- Chapter
- Export citation
16 - Boolean Monads
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 199-215
-
- Chapter
- Export citation
9 - Hoare Assertions and while-do
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 118-130
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805216/19332/cover/9780521619332.jpg)
Action Semantics
-
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992