Tải xuống Linnk AI
•
Trợ lý nghiên cứu
>
Đăng nhập
thông tin chi tiết
-
OCaml 프로그램의 연역적 검증
OCaml 프로그램의 연역적 검증 이론과 실제
OCaml 프로그래밍 언어로 작성된 프로그램의 정확성을 연역적 검증 기법을 통해 증명하는 방법을 제시한다.
1