2020-05-06から1日間の記事一覧
【マルレク】 AWSでの形式手法の利用 ■ 日時:2020/4/30 20:00ー22:00 ■ 感想 → ■ 開催・資料 aws-formal-methods.peatix.com Web 開催: → Web開催: YouTubeライブリスト マルレク 「AWSでの形式手法の利用」 - YouTube 講演資料 www.marulabo.net (セミナ…
【マルレク】 AWSでの形式手法の利用 ■ 日時:2020/4/30 20:00ー22:00 ■ 感想 → ■ 開催・資料 aws-formal-methods.peatix.com Web 開催: → Web開催: YouTubeライブリスト マルレク 「AWSでの形式手法の利用」 - YouTube 講演資料 www.marulabo.net (セミナ…