« オブジェクト指向の「並列・並行性」のモデルの検討 | トップページ | Adaによるソフトウエア工学に基づく開発 »

2014年7月22日 (火)

ETロボコンのスペシャルセミナー『ソフトウエアの正当性とモデリングの科学』の講演資料のダウンロード

ETロボコンのスペシャルセミナーで講演した『ソフトウエアの正当性とモデリングの科学』講演資料がダウンロード可能になりました。

ETロボコンの実行委員方から連絡を頂きました。
実行員の方にはお世話になりましたことを感謝いたします。

当日講演に参加されたリスナーの方には、ダウンロードできるURLとダウンロード方法が案内が実行委員の方から行くと思います。

|

« オブジェクト指向の「並列・並行性」のモデルの検討 | トップページ | Adaによるソフトウエア工学に基づく開発 »

「パソコン・インターネット」カテゴリの記事