Home > Term: osittainen oikeellisuudesta
osittainen oikeellisuudesta
Proof korrektiuden nimitys, joka ilmaisee, että ohjelman ulostulo väitteitä johdonmukaisesti input väitteitä ja numeroiduista.
- Jenis Kata: noun
- Industri / Domain: Komputer; Perangkat lunak
- Kategori: Software engineering
- Organization: IEEE Computer Society
0
Penulis
- anita.sd
-
(V.I.P) 24207 poin - 100% positive feedback
