tacke_jp

tacke_jp

(tacke_jp)
利用開始日: 2012/12/06

2020

/

05/07

(木)19:30〜

申込済

2020

/

05/04

(月)14:00〜

2020

/

05/03

(日)19:30〜

2020

/

04/28

(火)19:00〜

申込済

2020

/

04/14

(火)19:30〜

2020

/

04/11

(土)12:10〜

申込済

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

PRINCIPIA

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

hatsugai hatsugai

東京都千代田区神田神保町2-13-1 西遊ビル4F

9/9

2020

/

04/11

(土)12:00〜

2020

/

03/28

(土)12:10〜

申込済

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

PRINCIPIA

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

hatsugai hatsugai

東京都千代田区神田神保町2-13-1 西遊ビル4F

6/6

2020

/

02/29

(土)12:15〜

申込済

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

PRINCIPIA

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

hatsugai hatsugai

東京都千代田区神田神保町2-13-1 西遊ビル4F

12/16

tacke_jp

tacke_jpさんのフォロー 0

フォローはいません。

tacke_jpさんのフォロワー 0

フォロワーはいません。