5570 results in Programming Languages and Applied Logic
Ordinal Definability and Recursion Theory
- The Cabal Seminar, Volume III
-
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016
Building High Integrity Applications with SPARK
-
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015
Index
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 363-367
-
- Chapter
- Export citation
9 - Advanced Techniques
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 326-354
-
- Chapter
- Export citation
8 - Software Engineering with Spark
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 286-325
-
- Chapter
- Export citation
4 - Dependency Contracts
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 99-134
-
- Chapter
- Export citation
3 - Programming in the Large
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 68-98
-
- Chapter
- Export citation
1 - Introduction and Overview
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 1-17
-
- Chapter
- Export citation
Contents
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp v-viii
-
- Chapter
- Export citation
7 - Interfacing with Spark
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 247-285
-
- Chapter
- Export citation
5 - Mathematical Background
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 135-154
-
- Chapter
- Export citation
6 - Proof
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 155-246
-
- Chapter
- Export citation
Notes
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 355-358
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp ix-xiv
-
- Chapter
- Export citation
References
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 359-362
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp i-iv
-
- Chapter
- Export citation
2 - The Basic Spark Language
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 18-67
-
- Chapter
- Export citation
INDEX
-
- Book:
- A Guide to NIP Theories
- Published online:
- 05 July 2015
- Print publication:
- 16 July 2015, pp 155-156
-
- Chapter
- Export citation
APPENDIX A - EXAMPLES OF NIP STRUCTURES
-
- Book:
- A Guide to NIP Theories
- Published online:
- 05 July 2015
- Print publication:
- 16 July 2015, pp 133-144
-
- Chapter
- Export citation
APPENDIX B - PROBABILITY THEORY
-
- Book:
- A Guide to NIP Theories
- Published online:
- 05 July 2015
- Print publication:
- 16 July 2015, pp 145-146
-
- Chapter
- Export citation