ch0ic3/free-programming-books
1
0
Fork 0
mirror of https://github.com/EbookFoundation/free-programming-books.git synced 2024-12-18 09:26:10 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

Update free-programming-books-subjects.md (#11378)

Browse Source 
Adding a PDF that introduces the world of logic, sets, and relations using Z notation.
This commit is contained in:
Margaret Hu 2024-10-05 18:07:56 -07:00 committed by GitHub
parent 014afed369
commit c9c3a79fdb
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
books/free-programming-books-subjects.md
View File

@ -660,6 +660,7 @@ Books that cover a specific programming language can be found in the [BY PROGRAM
* [Small Memory Software](https://smallmemory.charlesweir.com/book.html) - Charles Weir, James Noble (HTML)
* [Software Technical Writing: A Guidebook](https://jamesg.blog/book.pdf) - James Gallagher (PDF)
* [The Web Development Glossary](https://github.com/frontenddogma/web-development-glossary) – Jens Oliver Meiert
* [Using Z Specification, Refinement, and Proof](http://www.usingz.com/usingz.pdf) - Jim Woodcock, Jim Davies (PDF)
* [Web Almanac](https://almanac.httparchive.org/static/pdfs/web_almanac_2019_en.pdf) (PDF)
* [Writing Native Mobile Apps in a Functional Language Succinctly](https://www.syncfusion.com/ebooks/writing_native_mobile_apps_in_a_functional_language_succinctly) - Vassili Kaplan