From e206a32214f62d93b613217fffc168f9d3871f80 Mon Sep 17 00:00:00 2001 From: Momozor Date: Mon, 18 May 2020 06:37:25 +0800 Subject: [PATCH] Add three CC-BY-SA licensed, Ada's PDF resources (#3603) * Add three CC-BY-SA licensed, Ada's PDF resources * Update free-programming-books.md --- free-programming-books.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/free-programming-books.md b/free-programming-books.md index 1fa9192f..24574060 100644 --- a/free-programming-books.md +++ b/free-programming-books.md @@ -833,6 +833,9 @@ Kerridge (PDF) (email address *requested*, not required) * [Ada for the C++ or Java Developer](https://www.adacore.com/uploads/books/pdf/Ada_for_the_C_or_Java_Developer-cc.pdf) - Quentin Ochem (PDF) * [Ada Programming](https://en.wikibooks.org/wiki/Ada_Programming) - Wikibooks * [Ada Reference Manual - ISO/IEC 8652:2012(E) Language and Standard Libraries](http://www.ada-auth.org/standards/12rm/RM-Final.pdf) (PDF) +* [Introduction To Ada](https://learn.adacore.com/courses/intro-to-ada/index.html) +* [Introduction To SPARK](https://learn.adacore.com/courses/SPARK_for_the_MISRA_C_Developer/index.html) +* [SPARK for the MISRA-C Developer](https://learn.adacore.com/pdf_books/courses/SPARK_for_the_MISRA_C_Developer.pdf) - Yannick Moy (PDF) * [The Big Online Book of Linux Ada Programming](http://www.pegasoft.ca/resources/boblap/book.html)