knowledge/programming-books
1
0
Fork 0
mirror of https://github.com/namibia/free-programming-books.git synced 2024-11-29 06:33:54 +00:00
Code Issues Releases Activity

links to Harel books on Statecharts and LSCs, hosted on scribd

Browse Source
This commit is contained in:
Michael Bradley, Jr 2013-10-11 23:12:54 -05:00
parent a2dec5e283
commit 910894a4ec
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
free-programming-books.md
View File

@ -104,6 +104,7 @@
* [Category Theory for Computing Science](http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf) * [Category Theory for Computing Science](http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf)
* [The Cathedral and the Bazaar](http://www.catb.org/esr/writings/cathedral-bazaar/) * [The Cathedral and the Bazaar](http://www.catb.org/esr/writings/cathedral-bazaar/)
* [Clever Algorithms](http://www.cleveralgorithms.com/nature-inspired/index.html) * [Clever Algorithms](http://www.cleveralgorithms.com/nature-inspired/index.html)
* [Come, Let's Play: Scenario-Based Programming Using LSCs](http://www.scribd.com/doc/175241338/Come-Let-s-Play)
* [Communicating Sequential Processes (PDF)](http://www.usingcsp.com/cspbook.pdf) - Tony Hoare * [Communicating Sequential Processes (PDF)](http://www.usingcsp.com/cspbook.pdf) - Tony Hoare
* [Compiler Construction](http://www-old.oberon.ethz.ch/WirthPubl/CBEAll.pdf) (PDF) * [Compiler Construction](http://www-old.oberon.ethz.ch/WirthPubl/CBEAll.pdf) (PDF)
* [Computer Musings](http://scpd.stanford.edu/knuth/index.jsp) (lectures by Donald Knuth) * [Computer Musings](http://scpd.stanford.edu/knuth/index.jsp) (lectures by Donald Knuth)
@ -144,6 +145,7 @@
* [Mathematical Logic - an Introduction](http://www.ii.uib.no/~michal/und/i227/book/book.pdf) (PDF) * [Mathematical Logic - an Introduction](http://www.ii.uib.no/~michal/und/i227/book/book.pdf) (PDF)
* [Matters Computational](http://www.jjj.de/fxt/#fxtbook) * [Matters Computational](http://www.jjj.de/fxt/#fxtbook)
* [Mining of Massive Datasets](http://infolab.stanford.edu/~ullman/mmds.html) * [Mining of Massive Datasets](http://infolab.stanford.edu/~ullman/mmds.html)
* [Modeling Reactive Systems With Statecharts](http://www.scribd.com/doc/167971960/Modeling-Reactive-Systems-With-Statecharts)
* [NASA Manager Handbook for Software Development](http://homepages.inf.ed.ac.uk/dts/pm/Papers/nasa-manage.pdf) (PDF) * [NASA Manager Handbook for Software Development](http://homepages.inf.ed.ac.uk/dts/pm/Papers/nasa-manage.pdf) (PDF)
* [NASA Software Measurement Handbook](http://www.scribd.com/doc/7181362/NASA-Software-Measurement-Guidebook) * [NASA Software Measurement Handbook](http://www.scribd.com/doc/7181362/NASA-Software-Measurement-Guidebook)
* [Object-Oriented Reengineering Patterns](http://scg.unibe.ch/download/oorp/) * [Object-Oriented Reengineering Patterns](http://scg.unibe.ch/download/oorp/)