https://www.amazon.com/Programming-Ada-2012-John-Barnes/dp/1...
900+ pages of Good Luck With That. All other resources I've seen regarding Ada are really scattered around, so this book is the one go-to reference.
(Also, SPARK is a more demanding subset of Ada, so maybe wait until you have come to grip with the language before breaching that topic.)
https://www.amazon.com/Programming-Ada-2012-John-Barnes/dp/1...
900+ pages of Good Luck With That. All other resources I've seen regarding Ada are really scattered around, so this book is the one go-to reference.
(Also, SPARK is a more demanding subset of Ada, so maybe wait until you have come to grip with the language before breaching that topic.)