tacke_jp
(tacke_jp)

Usage start date: 12/06/2012

2020

05/31

(Sun)

2020

05/23

(Sat)

12:10〜

Attending

プログラム検証器を作って学ぶ Hoare 論理 中止

PRINCIPIA

プログラム検証器を作って学ぶ Hoare 論理

hatsugai hatsugai

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

3/16

2020

05/16

(Sat)

14:00〜

Attending

2020

05/14

(Thu)

2020

05/09

(Sat)

2020

05/07

(Thu)

19:30〜

Attending

2020

05/04

(Mon)

2020

05/03

(Sun)

2020

04/28

(Tue)

19:00〜

Attending