Accueil > Term: bukti kebenaran
bukti kebenaran
(1) Teknik formal yang digunakan untuk membuktikan secara matematis bahwa sebuah program komputer yang memuaskan yang ditentukan requirements.~(2) A bukti bahwa hasil dari menerapkan teknik (1).
- Partie du discours : noun
- Secteur d’activité/Domaine : Informatique; Logiciels
- Catégorie : Software engineering
- Organization: IEEE Computer Society
0
Créateur
- cyriltjang
-
(V.I.P) 53804 points - 100% positive feedback
(Surabaya, Indonesia)
