Home > 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.
- Part of Speech: noun
- Industry/Domain: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
Creator
- Paulius
-
(V.I.P) 58351 points - 100% positive feedback
(Vilnius, Lithuania)
