1763 results in Software Engineering and Development
8 - Arrays and Records
-
- Book:
- Programming in Ada 2012
- Published online:
- 05 July 2014
- Print publication:
- 19 June 2014, pp 117-148
-
- Chapter
- Export citation
7 - Control Structures
-
- Book:
- Programming in Ada 2012
- Published online:
- 05 July 2014
- Print publication:
- 19 June 2014, pp 101-116
-
- Chapter
- Export citation
Dedication
-
- Book:
- Programming in Ada 2012
- Published online:
- 05 July 2014
- Print publication:
- 19 June 2014, pp v-vi
-
- Chapter
- Export citation
Part 4 - Completing the Story
-
- Book:
- Programming in Ada 2012
- Published online:
- 05 July 2014
- Print publication:
- 19 June 2014, pp 631-632
-
- Chapter
- Export citation
16 - Contracts
-
- Book:
- Programming in Ada 2012
- Published online:
- 05 July 2014
- Print publication:
- 19 June 2014, pp 385-416
-
- Chapter
- Export citation
19 - Generics
-
- Book:
- Programming in Ada 2012
- Published online:
- 05 July 2014
- Print publication:
- 19 June 2014, pp 469-500
-
- Chapter
- Export citation
Program 4 - Super Sieve
-
- Book:
- Programming in Ada 2012
- Published online:
- 05 July 2014
- Print publication:
- 19 June 2014, pp 627-630
-
- Chapter
- Export citation
22 - Tasking Techniques
-
- Book:
- Programming in Ada 2012
- Published online:
- 05 July 2014
- Print publication:
- 19 June 2014, pp 587-626
-
- Chapter
- Export citation
Part 1 - An Overview
-
- Book:
- Programming in Ada 2012
- Published online:
- 05 July 2014
- Print publication:
- 19 June 2014, pp 1-2
-
- Chapter
- Export citation
17 - Numeric Types
-
- Book:
- Programming in Ada 2012
- Published online:
- 05 July 2014
- Print publication:
- 19 June 2014, pp 417-438
-
- Chapter
- Export citation
21 - Object Oriented Techniques
-
- Book:
- Programming in Ada 2012
- Published online:
- 05 July 2014
- Print publication:
- 19 June 2014, pp 551-586
-
- Chapter
- Export citation
9 - Expression structures
-
- Book:
- Programming in Ada 2012
- Published online:
- 05 July 2014
- Print publication:
- 19 June 2014, pp 149-160
-
- Chapter
- Export citation
Preface
-
- Book:
- Programming in Ada 2012
- Published online:
- 05 July 2014
- Print publication:
- 19 June 2014, pp xix-xxii
-
- Chapter
- Export citation
23 - Predefined Library
-
- Book:
- Programming in Ada 2012
- Published online:
- 05 July 2014
- Print publication:
- 19 June 2014, pp 633-694
-
- Chapter
- Export citation
24 - Container Library
-
- Book:
- Programming in Ada 2012
- Published online:
- 05 July 2014
- Print publication:
- 19 June 2014, pp 699-780
-
- Chapter
- Export citation
15 - Exceptions
-
- Book:
- Programming in Ada 2012
- Published online:
- 05 July 2014
- Print publication:
- 19 June 2014, pp 361-384
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Programming in Ada 2012
- Published online:
- 05 July 2014
- Print publication:
- 19 June 2014, pp 3-10
-
- Chapter
- Export citation
A3 Syntax
-
- Book:
- Programming in Ada 2012
- Published online:
- 05 July 2014
- Print publication:
- 19 June 2014, pp 873-900
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Systematic Program Design
- Published online:
- 05 June 2013
- Print publication:
- 20 May 2013, pp i-vi
-
- Chapter
- Export citation
6 - Objects: incrementalize across module abstraction
-
- Book:
- Systematic Program Design
- Published online:
- 05 June 2013
- Print publication:
- 20 May 2013, pp 151-186
-
- Chapter
- Export citation