Books
Books
- Programming in Ada 2012 with a Preview of Ada 2022 (2nd ed.)
- Beginning Ada Programming: From Novice to Professional
- Building High Integrity Applications with SPARK
tip
For a complete list of books, see the Awesome Ada page.
Online books
- Learn Ada (interactive learning platform for Ada/SPARK, including courses for C/C++/Java developers)
- Safe and Secure Software. An invitation to Ada 2012
- Implementation Guidance for the Adoption of SPARK
- Ada Programming at Wikibooks
- Ada Distilled for Ada 2005
- Ada 95: The Craft of Object-Oriented Programming