5571 results in Programming Languages and Applied Logic
Semantics of Interaction: an Introduction to Game Semantics
-
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp 1-32
-
- Chapter
- Export citation
Categories in Concurrency
-
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp 299-354
-
- Chapter
- Export citation
Syntax and Semantics of Dependent Types
-
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp 79-130
-
- Chapter
- Export citation
Semantics and Logics of Computation
-
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997
25 - Concurrency and real time
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 234-240
-
- Chapter
- Export citation
G - Other formal notations
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 326-327
-
- Chapter
- Export citation
21 - Graphical user interface
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 199-210
-
- Chapter
- Export citation
9 - Structure
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 78-95
-
- Chapter
- Export citation
28 - From Z to code
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 265-296
-
- Chapter
- Export citation
3 - Formal methods and project management
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 21-26
-
- Chapter
- Export citation
E - Selected Laws
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 316-321
-
- Chapter
- Export citation
III - Elements of Z
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 61-62
-
- Chapter
- Export citation
20 - Rule-based programming
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 189-198
-
- Chapter
- Export citation
Bibliography
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 328-339
-
- Chapter
- Export citation
B - Omitted features
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 304-304
-
- Chapter
- Export citation
Further reading
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 161-162
-
- Chapter
- Export citation
The Way of Z
- Practical Programming with Formal Methods
-
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996
7 - Introducing schemas: text editor
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 49-58
-
- Chapter
- Export citation
C - Operator precedence
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 305-307
-
- Chapter
- Export citation
Further reading
-
- Book:
- The Way of Z
- Published online:
- 06 July 2010
- Print publication:
- 28 November 1996, pp 297-298
-
- Chapter
- Export citation