Zur Startseite gehen
0,00 €*
Cover: 9781009181341 | Programming in Ada 2012 with a Preview of Ada 2022 | John Barnes
Dekorationsartikel gehören nicht zum Leistungsumfang.
Programming in Ada 2012 with a Preview of Ada 2022
Taschenbuch von John Barnes
Sprache: Englisch

121,80 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
The latest edition of the definitive guide to the Ada language covers the full details of the core language Ada 2012 as updated by the 2016 ISO Corrigendum and introduces the key new features planned for Ada 2022. The book begins by introducing the fundamental concepts for newcomers, before moving onto algorithmic aspects and then structural features such as OOP and multitasking. The fourth part give details of the standard library and interaction with the external environment. Six complete executable programs illustrate the core features of the language in action. The book concludes with an appendix outlining what is coming in Ada 2022, which will be aimed at aiding program proof and the efficient use of multicore architectures.
The latest edition of the definitive guide to the Ada language covers the full details of the core language Ada 2012 as updated by the 2016 ISO Corrigendum and introduces the key new features planned for Ada 2022. The book begins by introducing the fundamental concepts for newcomers, before moving onto algorithmic aspects and then structural features such as OOP and multitasking. The fourth part give details of the standard library and interaction with the external environment. Six complete executable programs illustrate the core features of the language in action. The book concludes with an appendix outlining what is coming in Ada 2022, which will be aimed at aiding program proof and the efficient use of multicore architectures.
Über den Autor
John Barnes was a founder member of the Ada design team and the software company Alsys UK. He gives lectures on Ada and popular mathematics, and has authored 13 books, including 'Gems of Geometry' (2012), 'SPARK - The proven approach to High Integrity Software' (2012), and 'Nice Numbers' (2016).
Inhaltsverzeichnis
Foreword Steve Baird and Jeff Cousins; 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; Appendix D. Introducing Ada 2022; Answers to exercises; Bibliography; Index.
Details
Erscheinungsjahr: 2022
Fachbereich: Programmiersprachen
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: Kartoniert / Broschiert
ISBN-13: 9781009181341
ISBN-10: 1009181343
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Barnes, John
Hersteller: Cambridge University Press
Maße: 246 x 189 x 53 mm
Von/Mit: John Barnes
Erscheinungsdatum: 25.04.2022
Gewicht: 1,878 kg
Artikel-ID: 121180333
Über den Autor
John Barnes was a founder member of the Ada design team and the software company Alsys UK. He gives lectures on Ada and popular mathematics, and has authored 13 books, including 'Gems of Geometry' (2012), 'SPARK - The proven approach to High Integrity Software' (2012), and 'Nice Numbers' (2016).
Inhaltsverzeichnis
Foreword Steve Baird and Jeff Cousins; 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; Appendix D. Introducing Ada 2022; Answers to exercises; Bibliography; Index.
Details
Erscheinungsjahr: 2022
Fachbereich: Programmiersprachen
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: Kartoniert / Broschiert
ISBN-13: 9781009181341
ISBN-10: 1009181343
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Barnes, John
Hersteller: Cambridge University Press
Maße: 246 x 189 x 53 mm
Von/Mit: John Barnes
Erscheinungsdatum: 25.04.2022
Gewicht: 1,878 kg
Artikel-ID: 121180333
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9781680501988 | Effective Testing with RSpec 3 | Build Ruby Apps with Confidence
Effective Testing with RSpec 3
Build Ruby Apps with Confidence
EAN: 9781680501988
Sprache: Englisch
Von/Mit: Ian Des (u. a.)

29,15 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781491985045 | Mining the Social Web | Matthew Russell (u. a.) | Taschenbuch | 2019
Mining the Social Web
Data Mining Facebook, Twitter, Linkedin, Instagram, Github, and More
EAN: 9781491985045
Sprache: Englisch
Von/Mit: Matthew A Russell (u. a.)

54,40 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783834816740 | Grundkurs Codierung | Wilfried Dankmeier | Taschenbuch | Paperback
Grundkurs Codierung
Verschlüsselung, Kompression und Fehlerbeseitigung
EAN: 9783834816740
Sprache: Deutsch
Von/Mit: Wilfried Dankmeier

39,99 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783110614213 | Numerische Mathematik 1 | Eine algorithmisch orientierte Einführung
Numerische Mathematik 1
Eine algorithmisch orientierte Einführung
EAN: 9783110614213
Sprache: Deutsch
Von/Mit: Peter Deuflhard (u. a.)

39,95 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9781789660814 | Artificial Intelligence for Learning | Donald Clark | Taschenbuch
Artificial Intelligence for Learning
How to use AI to Support Employee Development
EAN: 9781789660814
Sprache: Englisch
Von/Mit: Donald Clark

37,25 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9781617297045 | Junit in Action | Catalin Tudose (u. a.) | Taschenbuch | Englisch
Junit in Action
EAN: 9781617297045
Sprache: Englisch
Von/Mit: Catalin Tudose (u. a.)

60,50 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781800206465 | Managing Software Requirements the Agile Way | Fred Heath | Buch
Managing Software Requirements the Agile Way
Bridge the gap between software requirements and executable specifications to deliver successful projects
EAN: 9781800206465
Sprache: Englisch
Von/Mit: Fred Heath

48,55 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781491957356 | Practical Monitoring | Effective Strategies for the Real World | Buch
Practical Monitoring
Effective Strategies for the Real World
EAN: 9781491957356
Sprache: Englisch
Von/Mit: Mike Julian

32,95 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9780996061308 | The Book of Satoshi | Phil Champagne | Buch | Englisch | 2014
The Book of Satoshi
The Collected Writings of Bitcoin Creator Satoshi Nakamoto
EAN: 9780996061308
Sprache: Englisch
Von/Mit: Phil Champagne

32,20 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783847115526 | Die Macht der Daten | Rainer Mühlhoff | Taschenbuch | 84 S. | Deutsch
Die Macht der Daten
Warum künstliche Intelligenz eine Frage der Ethik ist
EAN: 9783847115526
Von/Mit: Rainer Mühlhoff

15,00 €*

Lieferzeit 1-2 Werktage

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...