bn:03392718n
Noun Concept
Categories: 形式手法
JA
ループ不変条件
JA
ループ不変条件(英: Loop invariant)とは、計算機科学において、ループの不変条件のこと。 Wikipedia
Definitions
Relations
Sources
JA
ループ不変条件(英: Loop invariant)とは、計算機科学において、ループの不変条件のこと。 Wikipedia
Wikipedia
Wikidata