欝っぽい日記再び
論理学とか数学とか計算機科学とか哲学とか。ひたすら個人の見解を述べます。うろ覚えで書いたりするのであまり信用しないでください。間違いの指摘等歓迎いたします。でもきつい言い方はやめてください。
2013年7月3日水曜日
CSPによるコンカレントシステムの検証(1)
大阪大学で講義をした。
CSPによるコンカレントシステムの検証(1)
from
Yamagata Yoriyuki
次回→
CSPによる並行システムの検証その２
0 件のコメント:
コメントを投稿
‹
›
ホーム
ウェブ バージョンを表示
0 件のコメント:
コメントを投稿