n-sega のブックマーク / はてなブックマーク

tla+

n-sega のブックマーク 2018/11/11 17:09

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/373131995/comment/n-sega" data-user-id="n-sega" data-entry-url="https://b.hatena.ne.jp/entry/s/lamport.azurewebsites.net/tla/tla.html" data-original-href="https://lamport.azurewebsites.net/tla/tla.html" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Flamport.azurewebsites.net%2Ftla%2Ftla.html" data-user-icon="/users/n-sega/profile.png">The TLA+ Home Page</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/tla%2B">tla+</a>]</li></ul><br><p style="clear: left"></p><a class="datetime" href="https://b.hatena.ne.jp/n-sega/20181111#bookmark-373131995"><span class="datetime-body">2018/11/11 17:09</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

The TLA+ Home Page

lamport.azurewebsites.net2018/10/24

You'll miss a lot on this web site unless you enable Javascript in your browser. This is the home page of the TLA+ web site. TLA+ is a high-level language for modeling programs and systems--especia...

15 人がブックマーク・2 件のコメント

他のコメントを読む

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

はてなブックマーク

The TLA+ Home Page

はてなブックマーク

公式Twitter

はてなのサービス