首页 > Term: dokazilo o pravilnosti
dokazilo o pravilnosti
(1) Formalni zvijača matematično dokazati, da računalniški program izpolnjuje njegovo določeno requirements.~(2) dokaz, ki je posledica uporabe tehniko (1).
- 词性： noun
- 行业/领域： 计算机; 软件
- 类别 软件工程
- Organization: IEEE Computer Society
0
创建者
- S.Ostanek
-
(V.I.P) 57562 分数 - 100% positive feedback
(Kranj, Slovenia)
