サクサク読めて、アプリ限定の機能も多数!
repon のブックマーク 2012/07/16 11:57
『ソフトウェアの基礎』のePub版を公開しました。 - みずぴー日記[ドキュメント][epub]2012/07/16 11:57
このブックマークにはスターがありません。 最初のスターをつけてみよう!
mzp.hatenablog.com2012/07/15
「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧...
348 人がブックマーク・20 件のコメント
\ コメントが サクサク読める アプリです /
repon のブックマーク 2012/07/16 11:57
このブックマークにはスターがありません。
最初のスターをつけてみよう!
『ソフトウェアの基礎』のePub版を公開しました。 - みずぴー日記
mzp.hatenablog.com2012/07/15
「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧...
348 人がブックマーク・20 件のコメント
\ コメントが サクサク読める アプリです /