crash.academy(ITエンジニア向け学習&キャリアサービス)に、今月新たに公開された講座をご紹介します。
■ソフトウェア・エンジニアリングの新しい潮流 – Deep Specificationの世界
■ 動画紹介
今回のマルレクでは、”Deep Specification” というソフトウェア・エンジニアリングの新しい潮流を紹介します。この流れは、ハードとソフトの開発に、コンピュータの数学的証明能力を利用して、プログラムの正しさをチェックしようというものです。
公開日:2020/01/23
冒頭部分は無料でご視聴いただけます。
ぜひご覧ください。
Contact usお問い合わせ
サービスにご興味をお持ちの方は
お気軽にお問い合わせください。
Webからお問い合わせ
お問い合わせお電話からお問い合わせ
03-5211-7750
平日09:30 〜 18:00
Free Service