π計算を介したプログラム検証・解析
π計算を介したプログラム検証・解析
通过π计算进行程序验证和分析
批准号：
24K20731
负责人：
酒寄 健
金额：
$2.66万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Early-Career Scientists
财政年份：
2024
资助国家：
日本
项目状态：
未结题
起止时间：
2024-04-01 至 2028-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
圏論的意味論に基づく並行プログラミング言語の分析
-
批准号：20J13473
-
项目类别：Grant-in-Aid for JSPS Fellows
-
资助金额：$1.09万
-
财政年份：2020
-
负责人：酒寄 健
-
依托单位：