41 results
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
References
-
- Book:
- Building Parallel, Embedded, and Real-Time Applications with Ada
- Published online:
- 01 June 2011
- Print publication:
- 07 April 2011, pp 359-364
-
- Chapter
- Export citation
7 - Real-time systems and scheduling concepts
-
- Book:
- Building Parallel, Embedded, and Real-Time Applications with Ada
- Published online:
- 01 June 2011
- Print publication:
- 07 April 2011, pp 251-293
-
- Chapter
- Export citation
5 - Communication and synchronization based on direct interaction
-
- Book:
- Building Parallel, Embedded, and Real-Time Applications with Ada
- Published online:
- 01 June 2011
- Print publication:
- 07 April 2011, pp 166-194
-
- Chapter
- Export citation
Preface
-
- Book:
- Building Parallel, Embedded, and Real-Time Applications with Ada
- Published online:
- 01 June 2011
- Print publication:
- 07 April 2011, pp xiii-xviii
-
- Chapter
- Export citation