Public 2020/04/04（Sat） 10:30〜

デッドロック発見器を作って学ぶマルチスレッドプログラミング ★共有変数編★

hatsugai

オンライン

0/10

Public 2020/04/11（Sat） 12:00〜

プログラムの正しさを数学的に証明する形式検証への招待

hatsugai

オンライン

6/10

Public 2020/04/12（Sun） 14:00〜

フォローアップ：デッドロック発見器を作って学ぶマルチスレッドプログラミング ★共有変数編★

hatsugai

オンライン

0/15

Public 2020/04/18（Sat） 10:30〜

デッドロック発見器を作って学ぶマルチスレッドプログラミング ★メッセージ通信編★

hatsugai

オンライン

0/10

Public 2020/04/25（Sat） 12:00〜

並行システムの設計検証入門セミナー

hatsugai

オンライン

2/10

Public 2020/04/26（Sun） 14:00〜

フォローアップ：デッドロック発見器を作って学ぶマルチスレッドプログラミング ★メッセージ通信編★

hatsugai

オンライン

0/15

Public 2020/04/29（Wed） 10:30〜

モデル検査器を作って学ぶマルチスレッドプログラミング

hatsugai

オンライン

0/10

Public 2020/05/02（Sat） 10:30〜

トレース比較器を作って学ぶマルチスレッドプログラミング

hatsugai

オンライン

0/10

Public 2020/05/03（Sun） 14:00〜

フォローアップ：モデル検査器を作って学ぶマルチスレッドプログラミング

hatsugai

オンライン

0/15

Public 2020/05/06（Wed） 14:00〜

フォローアップ：トレース比較器を作って学ぶマルチスレッドプログラミング

hatsugai

オンライン

0/15