ดาวน์โหลด Linnk AI
•
ผู้ช่วยวิจัย
>
ลงชื่อเข้าใช้
ข้อมูลเชิงลึก
-
OCamlプログラムの演繹的検証
関数型プログラミング言語OCamlのプログラムに対する演繹的検証の理論と実践
関数型プログラミング言語OCamlのプログラムに対する演繹的検証の手法と実践的な適用方法を示す。
1