Accueil > Term: automated உறுதிப்படுத்துவதற்காக அமைப்பு
automated உறுதிப்படுத்துவதற்காக அமைப்பு
(1) ஒரு மென்பொருள் கருவி என்று ஏற்றுக்கொள்ளும் என உள்ளீடு கணினி நிரல் மற்றும் அதன் specification மற்றும் ஒளியை உருவாக்கும் மனித உதவி, ஒரு ஆதாரம் அல்லது, program.~(2) correctness disproof பெரும்பாலும் கொண்டு பிரதிநிதித்துவம் பகுதி automates என்று எந்த மென்பொருள் கருவி அல்லது அனைத்து உறுதிப்படுத்துவதற்காக நடைமுறைகள்.
- Partie du discours : noun
- Secteur d’activité/Domaine : Informatique; Logiciels
- Catégorie : Software engineering
- Organization: IEEE Computer Society
0
Créateur
- Sadabindu
- 100% positive feedback
(India)