formalized computer program

形式化計算機程式

學術名詞

• 形式化計算機程式：資訊