検索内容:
異なる前提の下でシステムの挙動を検証するために、技術者はしばしば不要な詳細を省いた抽象モデルを構築します。
コンピュータ科学者は、複雑なシステムを実装する前に単純化するために抽象的なモデルをよく使います。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★