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