Niezawodne programowanie
Książka "Programming in Ada 2012"
21/06/14 10:23
Za tydzień dostawa najnowszej książki: John Barnes Programming in Ada 2012.
Fragmenty książki do przeczytania w Google Books.
Spis treści:
Foreword
Preface
Part I. An Overview:
1. Introduction
2. Simple concepts
3. Abstraction
4. Programs and libraries
Program 1. Magic moments
Part II. Algorithmic Aspects:
5. Lexical style
6. Scalar types
7. Control structures
8. Arrays and records
9. Expression structures
10. Subprograms
11. Access types
Program 2. Sylvan sorter
Part III. The Big Picture
12. Packages and private types
13. Overall structure
Program 3. Rational reckoner
14. Object oriented programming
15. Exceptions
16. Contracts
17. Numeric types
18. Parameterized types
19. Generics
20. Tasking
21. Object oriented techniques
22. Tasking techniques
Program 4. Super sieve
Part IV. Completing the Story
23. Predefined library
Program 5. Wild words
24. Container library
25. Interfacing
Program 6. Playing pools
26. The specialized annexes
27. Finale;
Appendix A. Reserved words, etc.
Appendix B. Glossary
Appendix C. Syntax
Answers to exercises
Bibliography
Index.
Fragmenty książki do przeczytania w Google Books.
Spis treści:
Foreword
Preface
Part I. An Overview:
1. Introduction
2. Simple concepts
3. Abstraction
4. Programs and libraries
Program 1. Magic moments
Part II. Algorithmic Aspects:
5. Lexical style
6. Scalar types
7. Control structures
8. Arrays and records
9. Expression structures
10. Subprograms
11. Access types
Program 2. Sylvan sorter
Part III. The Big Picture
12. Packages and private types
13. Overall structure
Program 3. Rational reckoner
14. Object oriented programming
15. Exceptions
16. Contracts
17. Numeric types
18. Parameterized types
19. Generics
20. Tasking
21. Object oriented techniques
22. Tasking techniques
Program 4. Super sieve
Part IV. Completing the Story
23. Predefined library
Program 5. Wild words
24. Container library
25. Interfacing
Program 6. Playing pools
26. The specialized annexes
27. Finale;
Appendix A. Reserved words, etc.
Appendix B. Glossary
Appendix C. Syntax
Answers to exercises
Bibliography
Index.