본문바로가기

태극기이 누리집은 대한민국 공식 전자정부 누리집입니다.

단어장에 추가 인쇄
정확도^검증 편집하기 편집 금지 요청
분야
『정보·통신』
「001」프로그램이 소정의 사양을 만족하는 것을 수학적으로 증명할 때 이용하는 논리적인 기법.

대역어

영어
correctness proof
내가 살펴본 단어 내 단어장
    단어장에 추가 전체 삭제

    취소
    위로