科学人生百年2025 院士风采展巡展申请及成果反馈
特别报道
您当前的位置： 首页百年院士名录唐稚松特别报道

基于时序逻辑的软件工程系统的意义、作用与应用

来源：科学新闻 发表日期：2025-05-16


附件下载：

    上一篇
    相关报道

    主办单位：中国科学院学部科学道德建设委员会   委托单位：中国科学院学部工作局
    承办单位：中国科学院文献情报中心　中国科学院计算机网络信息中心
    关于“科学人生·百年”主题活动任何文字、图片、视频资料的使用必须经过中国科学院学部工作局的许可
    地址：北京市三里河路52号   邮编：100864

    科学人生·百年
    手机版