1763 results in Software Engineering and Development
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
13 - Retail
- from Part III - Applications
-
- Book:
- Near Field Communications Technology and Applications
- Published online:
- 05 December 2014
- Print publication:
- 18 December 2014, pp 146-165
-
- Chapter
- Export citation
Appendix B - Standards
-
- Book:
- Near Field Communications Technology and Applications
- Published online:
- 05 December 2014
- Print publication:
- 18 December 2014, pp 258-259
-
- Chapter
- Export citation
15 - Payment
- from Part III - Applications
-
- Book:
- Near Field Communications Technology and Applications
- Published online:
- 05 December 2014
- Print publication:
- 18 December 2014, pp 182-200
-
- Chapter
- Export citation
6 - The Secure Element
- from Part II - Technology
-
- Book:
- Near Field Communications Technology and Applications
- Published online:
- 05 December 2014
- Print publication:
- 18 December 2014, pp 58-72
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Near Field Communications Technology and Applications
- Published online:
- 05 December 2014
- Print publication:
- 18 December 2014, pp i-iv
-
- Chapter
- Export citation
14 - Transportation
- from Part III - Applications
-
- Book:
- Near Field Communications Technology and Applications
- Published online:
- 05 December 2014
- Print publication:
- 18 December 2014, pp 166-181
-
- Chapter
- Export citation
18 - Smart objects and the Internet of Things
- from Part III - Applications
-
- Book:
- Near Field Communications Technology and Applications
- Published online:
- 05 December 2014
- Print publication:
- 18 December 2014, pp 216-232
-
- Chapter
- Export citation
1 - What is NFC?
- from Part I - Introduction
-
- Book:
- Near Field Communications Technology and Applications
- Published online:
- 05 December 2014
- Print publication:
- 18 December 2014, pp 3-11
-
- Chapter
- Export citation
7 - Tags and terminals
- from Part II - Technology
-
- Book:
- Near Field Communications Technology and Applications
- Published online:
- 05 December 2014
- Print publication:
- 18 December 2014, pp 73-80
-
- Chapter
- Export citation
4 - Modes of operation
- from Part II - Technology
-
- Book:
- Near Field Communications Technology and Applications
- Published online:
- 05 December 2014
- Print publication:
- 18 December 2014, pp 32-46
-
- Chapter
- Export citation
Part III - Applications
-
- Book:
- Near Field Communications Technology and Applications
- Published online:
- 05 December 2014
- Print publication:
- 18 December 2014, pp 131-132
-
- Chapter
- Export citation