役にたたない日々
トレース:
•
System
Agda
Apple
CentOS
Debian
DNS
DokuWiki
FreeBSD
KVM
Linux
LXC
Mac
MicroServer
MoinMoin
Solaris
TeX
SRX
System
VirutualBox
Web
Windows
目次
System
Alloy
Erlang
Prover
Isabelle
System
Alloy
http://alloy.mit.edu/alloy/
Alloy Analyzer で形式仕様記述
Erlang
http://www.erlang.org/
http://www.erlang.org/doc/efficiency_guide/
http://ja.wikipedia.org/wiki/Erlang
http://en.wikipedia.org/wiki/Erlang_%28programming_language%29
http://learnyousomeerlang.com/
http://trapexit.org/
http://erlang-users.jp/
http://erlangworld.web.fc2.com/
Prover
Anarchy Proof
Isabelle
http://www.cl.cam.ac.uk/research/hvg/Isabelle/
http://www.score.cs.tsukuba.ac.jp/~minamide/isabelle-ss04/
http://d.hatena.ne.jp/soutaro/20101028/1288288965
memo/system.txt
· 最終更新: 2012-08-07 06:54 by
hn
むだばなし Archive
サイトマップ
最近の変更
検索
ログイン