تنزيل Linnk AI
•
مساعد بحث
>
سجل دخولك
رؤى
-
OCaml 프로그램의 연역적 검증
OCaml 프로그램의 연역적 검증 이론과 실제
OCaml 프로그래밍 언어로 작성된 프로그램의 정확성을 연역적 검증 기법을 통해 증명하는 방법을 제시한다.
1