Java仮想機械 先週はJavaのヴァーチャルマシンの話をしていた - Javaのバイトコード 普通の機械語とすごく違うわけではない 最近は下火だけれどJavaのバイトコードを直接実行するプロセッサを作っていた 今はどっかのメーカーに行けばあるかもしれないけれど…

4日で学ぶモデル検査 (初級編) (CVS教程 (1))作者: 産業技術総合研究所システム検証研究センター出版社/メーカー: エヌ・ティー・エス発売日: 2006/07メディア: 単行本 クリック: 7回この商品を含むブログ (10件) を見る衝撃的なタイトル。モデル検査もこん…

「並行システム論」、ホーアCSPモデルの話が終わって（？）、Bisimulationの話になってから何もわからない。まあ授業を聞いていないというか英語を聞けなくて教科書を手に入れていないから仕方ないのだけれど、これからどうしようかなあ。