「田口研治」おすすめ作品一覧

「田口研治」の新着作品・人気作品や、最新のユーザーレビューをお届けします!

作品一覧

2018/04/21更新

ユーザーレビュー

  • ソフトウェア科学基礎
    形式手法の教育を行う場合に、受講生は、本書を全部読んでいる必要はないという命題をたててみました。

    トップエスイー実践講座3では、「高度な数学的知識を習得して、現実的なシステムの仕様記述に利用することは容易でははい。」「モデル検査は、検証に必要な証明の作業を完全に自動的に行うため、上述の形式検証技...続きを読む