ニュース
- 2020.01.31
- info
crash.academyの新着講座公開のお知らせ:1月
crash.academy(ITエンジニア向け学習&キャリアサービス)に、今月新たに公開された講座をご紹介します。
■ソフトウェア・エンジニアリングの新しい潮流 – Deep Specificationの世界
■ 動画紹介
今回のマルレクでは、”Deep Specification” というソフトウェア・エンジニアリングの新しい潮流を紹介します。この流れは、ハードとソフトの開発に、コンピュータの数学的証明能力を利用して、プログラムの正しさをチェックしようというものです。
公開日:2020/01/23
冒頭部分は無料でご視聴いただけます。
ぜひご覧ください。