pi8027 のブックマーク / はてなブックマーク

pi8027 のブックマーク 2011/11/14 11:02

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/24647839/comment/pi8027" data-user-id="pi8027" data-entry-url="https://b.hatena.ne.jp/entry/www.cis.upenn.edu/~bcpierce/sf/" data-original-href="http://www.cis.upenn.edu/~bcpierce/sf/" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=http%3A%2F%2Fwww.cis.upenn.edu%2F~bcpierce%2Fsf%2F" data-user-icon="/users/pi8027/profile.png">Software Foundations</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/coq">coq</a>]</li></ul><br><p style="clear: left"></p><a class="datetime" href="https://b.hatena.ne.jp/pi8027/20111114#bookmark-24647839"><span class="datetime-body">2011/11/14 11:02</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

Software Foundations

www.cis.upenn.edu/~bcpierce2010/09/05

The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software. The principal novelty of the series is that every detail is one hundred percent forma...

24 人がブックマーク・1 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

Software Foundations

はてなブックマーク

公式Twitter

はてなのサービス