5571 results in Programming Languages and Applied Logic
6 - From prose to Z: control console
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 39-48
-
- Chapter
- Export citation
I - Why Z?
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 1-2
-
- Chapter
- Export citation
23 - Modelling large systems
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 218-230
-
- Chapter
- Export citation
Preface
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp xv-xviii
-
- Chapter
- Export citation
15 - Formal reasoning
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 149-160
-
- Chapter
- Export citation
17 - Text processing
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 169-173
-
- Chapter
- Export citation
Index
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 340-350
-
- Chapter
- Export citation
2 - Why Use Formal Methods?
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 14-20
-
- Chapter
- Export citation
8 - Elements
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 63-77
-
- Chapter
- Export citation
II - Introducing Z
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 29-30
-
- Chapter
- Export citation
A - Glossary of Z notation
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 299-303
-
- Chapter
- Export citation
27 - Program derivation and formal verification
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 254-264
-
- Chapter
- Export citation
26 - Refinement
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 247-253
-
- Chapter
- Export citation
19 - Computer graphics and computational geometry
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 180-188
-
- Chapter
- Export citation
14 - Generic definitions and free types
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 146-148
-
- Chapter
- Export citation
10 - Programming Examples
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp 403-498
-
- Chapter
- Export citation
13 - Examples of Refinements
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp 603-700
-
- Chapter
- Export citation
9 - Sequencing and Loop
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp 373-402
-
- Chapter
- Export citation
4 - Introduction to Abstract Machines
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp 227-264
-
- Chapter
- Export citation
The B-Book
- Assigning Programs to Meanings
-
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996