#45 – Why Amazon Chose TLA +

Misreading Chat - A podcast by Hajime Morrita, Jun Mukai

Categories:

Technology

仕様検証言語 TLA+ の AWS における使用事例について向井が話します。