Accueil Explorer Aide
Connexion
junxiaoyao
/
free-programming-books
1
0
Fork 0
Fichiers Tickets 0 Pull Requests 0 Wiki
Parcourir la source

Merge pull request #858 from diekmann/patch-2

Concrete Semantics - A Proof Assistant Approach
vhf / victor felder il y a 11 ans
Parent
77943c89cc e72bedb3b0
commit
758400c562
1 fichiers modifiés avec 1 ajouts et 0 suppressions
Vue séparée Afficher les stats Diff
  1. 1 0
      free-programming-books.md

+ 1 - 0
free-programming-books.md
Voir le fichier 

@@ -901,6 +901,7 @@
 
 
 
 ###Isabelle/HOL
 
+* [Concrete Semantics - A Proof Assistant Approach by Tobias Nipkow and Gerwin Klein](http://www21.in.tum.de/~nipkow/Concrete-Semantics/) (PDF)
 
 * [Isabelle/HOL - A Proof Assistant for Higher-Order Logic by Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel](http://isabelle.in.tum.de/doc/tutorial.pdf) (PDF)