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.)
Fresh book recommendations delivered straight to your inbox every Thursday.
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.)