サクサク読めて、アプリ限定の機能も多数!
software foundations 日本語訳
pi8027 のブックマーク 2011/11/14 10:46
ソフトウェアの基礎[coq] software foundations 日本語訳2011/11/14 10:46
このブックマークにはスターがありません。 最初のスターをつけてみよう!
proofcafe.org2011/09/30
Benjamin C. Pierce Chris Casinghino Michael Greenberg Vilhelm Sjöberg Brent Yorgey with Andrew W. Appel, Arthur Chargueraud, Anthony Cowley, Jeffrey Foster, Michael Hicks, Ranjit Jhala, Greg Morris...
172 人がブックマーク・15 件のコメント
\ コメントが サクサク読める アプリです /
software foundations 日本語訳
pi8027 のブックマーク 2011/11/14 10:46
このブックマークにはスターがありません。
最初のスターをつけてみよう!
ソフトウェアの基礎
proofcafe.org2011/09/30
Benjamin C. Pierce Chris Casinghino Michael Greenberg Vilhelm Sjöberg Brent Yorgey with Andrew W. Appel, Arthur Chargueraud, Anthony Cowley, Jeffrey Foster, Michael Hicks, Ranjit Jhala, Greg Morris...
172 人がブックマーク・15 件のコメント
\ コメントが サクサク読める アプリです /