knowledge/programming-books
1
0
Fork 0
mirror of https://github.com/namibia/free-programming-books.git synced 2024-12-26 00:27:30 +00:00
Code Issues Releases Activity

Add three CC-BY-SA licensed, Ada's PDF resources (#3603)

Browse Source 
* Add three CC-BY-SA licensed, Ada's PDF resources

* Update free-programming-books.md
This commit is contained in:
Momozor 2020-05-18 06:37:25 +08:00 committed by GitHub
parent 681cb74d2b
commit e206a32214
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
free-programming-books.md
View File

@ -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)