5571 results in Programming Languages and Applied Logic
16 - Document control system
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 165-168
-
- Chapter
- Export citation
24 - Object-oriented programming
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 231-233
-
- Chapter
- Export citation
12 - Schemas and schema calculus
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 122-137
-
- Chapter
- Export citation
18 - Eight queens
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 174-179
-
- Chapter
- Export citation
4 - What is Z?
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 31-32
-
- Chapter
- Export citation
IV - Studies in Z
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 163-164
-
- Chapter
- Export citation
13 - Schema types and bindings
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 138-145
-
- Chapter
- Export citation
F - Solutions to selected exercises
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 322-325
-
- Chapter
- Export citation
22 - Safety-critical protection system
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 211-217
-
- Chapter
- Export citation
5 - A first example in Z
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 33-38
-
- Chapter
- Export citation
10 - Logic
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 96-111
-
- Chapter
- Export citation
Contents
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp vii-xiv
-
- Chapter
- Export citation
Further reading
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 241-244
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp i-vi
-
- Chapter
- Export citation
V - Programming with Z
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 245-246
-
- Chapter
- Export citation
11 - Synthesis
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 112-121
-
- Chapter
- Export citation
D - The Z mathematical tool-kit
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 308-315
-
- Chapter
- Export citation
Further reading
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 27-28
-
- Chapter
- Export citation
1 - Formal methods
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 3-13
-
- Chapter
- Export citation
Further reading
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 59-60
-
- Chapter
- Export citation