홈 > Term: bendras teisingumą
bendras teisingumą
Įrodymu, teisingumą, rodo, kad vietos programos išvesties teiginius logiškai išplaukia iš jos įvesties teiginius ir apdorojimo etapus, ir kad, be to, programa nutraukia su visais nurodytais įvesties sąlygas.
- 품사: noun
- 분야/도메인: 컴퓨터; 소프트웨어
- 카테고리: Software engineering
- Organization: IEEE Computer Society
0
작성자
- Paulius
-
(V.I.P) 58351 포인트 - 100% positive feedback
(Vilnius, Lithuania)
