knowledge/programming-books
1
0
Fork 0
mirror of https://github.com/namibia/free-programming-books.git synced 2024-12-23 15:28:55 +00:00
Code Issues Releases Activity

Merge pull request #381 from ericguirbal/fr

Browse Source 
Add french book and french course on Coq by Bertot
This commit is contained in:
vhf / victor felder 2013-11-15 02:10:15 -08:00
commit 7c29e3ba47
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
free-programming-books-fr.md
View File

@ -4,6 +4,7 @@
* [Assembleur](#assembleur)
* [Caml](#caml)
* [C / C++](#c--c)
* [Coq](#coq)
* [Git](#git)
* [Haskell](#haskell)
* [Java](#java)
@ -75,6 +76,11 @@
* [Introduction à la rétro-ingénierie de binaires](http://progdupeu.pl/articles/45/introduction-a-la-retro-ingenierie-de-binaires), à partir de code C compilé pour x86.
* [Programmation en C](https://www.rocq.inria.fr/secret/Matthieu.Finiasz/teaching/ENSTA/IN101%20-%20poly%20C.pdf) par Pierre-Alain Fouque et David Pointcheval
###Coq
* [Le Coq'Art (V8)](http://www.labri.fr/perso/casteran/CoqArt) par Yves Bertot et Pierre Castéran
* [Preuves de programmes en coq](http://fuscia.inrialpes.fr/cours/coq/) par Yves Bertot
###Git
* [Git Magic](http://www-cs-students.stanford.edu/~blynn/gitmagic/intl/fr/) par par Alexandre Garel, Paul Gaborit et Nicolas Deram