ニュース

  • 2020.01.31
  • info

crash.academyの新着講座公開のお知らせ:1月

crash.academy(ITエンジニア向け学習&キャリアサービス)に、今月新たに公開された講座をご紹介します。

ソフトウェア・エンジニアリングの新しい潮流 – Deep Specificationの世界
Deep Specificationの世界

■ 動画紹介
今回のマルレクでは、”Deep Specification” というソフトウェア・エンジニアリングの新しい潮流を紹介します。この流れは、ハードとソフトの開発に、コンピュータの数学的証明能力を利用して、プログラムの正しさをチェックしようというものです。

公開日:2020/01/23

冒頭部分は無料でご視聴いただけます。
ぜひご覧ください。