2020/03/28(Sat) 並行システムの設計検証入門セミナー
2020/04/11(Sat) プログラムの正しさを数学的に証明する形式検証への招待
Public 2020/03/28（Sat） 12:10〜
並行システムの設計検証入門セミナー
hatsugai
東京都千代田区神田神保町2-13-1 西遊ビル4F
2/16人
Public 2020/04/11（Sat） 12:10〜
プログラムの正しさを数学的に証明する形式検証への招待
6/16人
Ended 2020/02/29（Sat） 12:15〜
トレース比較器を作って学ぶマルチスレッドプログラミング
12/16人
Ended 2020/02/01（Sat） 12:15〜
デッドロック発見器を作って学ぶマルチスレッドプログラミング ★メッセージ通信編★
Ended 2020/01/25（Sat） 12:15〜
モデル検査器を作って学ぶマルチスレッドプログラミング
9/16人
Ended 2019/12/07（Sat） 12:15〜
デッドロック発見器を作って学ぶマルチスレッドプログラミング ★共有変数編★
4/16人
Ended 2019/11/30（Sat） 12:15〜
11/16人
Ended 2019/10/19（Sat） 12:30〜
15/16人
Ended 2018/12/01（Sat） 10:30〜
並行プロセスの理論と設計検証入門セミナー
東京都千代田区神田神保町2-13-1
6/6人
If you add media to group events the most recent 10 media items are shown.
hatsugai
