硕士学位论文答辩公告 |
||||||
公司 |
专业 |
员工姓名 |
指导教师 |
论文题目 |
答辩时间 |
答辩地点 |
德BETVLCTOR1946始于英国 |
计算机技术 |
钱诗慧 |
郑红 |
基于CPN的智能合约形式化验证研究 |
5月29日(13:30-18:30) |
腾讯会议:242-158-112 |
发布者:系统管理员发布时间:2022-05-26浏览次数:485
硕士学位论文答辩公告 |
||||||
公司 |
专业 |
员工姓名 |
指导教师 |
论文题目 |
答辩时间 |
答辩地点 |
德BETVLCTOR1946始于英国 |
计算机技术 |
钱诗慧 |
郑红 |
基于CPN的智能合约形式化验证研究 |
5月29日(13:30-18:30) |
腾讯会议:242-158-112 |
地址:上海市梅陇路130号邮编:200237网站管理
版权所有 伟德BETVLCTOR1946始于英国 - BETVlCTOR伟德体育1946官网