程序规范的形成理论和技术
基本信息
批准号：69433031
项目类别：重点项目
资助金额：30.00
负责人：李未
学科分类：
依托单位：北京航空航天大学
批准年份：1994
结题年份：1997
起止时间：1995-01-01 - 1997-12-31
项目状态： 已结题
项目参与者：龙翔
关键词：
极限可满足性问题实用解程序规范
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
异质环境中西尼罗河病毒稳态问题解的存在唯一性
异质环境中西尼罗河病毒稳态问题解的存在唯一性
DOI：10.16119/j.cnki.issn1671-6876.2017.04.001
发表时间：2017
2
SRHSC 梁主要设计参数损伤敏感度分析
SRHSC 梁主要设计参数损伤敏感度分析
DOI：
发表时间：2014
3
基于可拓学倾斜软岩巷道支护效果评价方法
基于可拓学倾斜软岩巷道支护效果评价方法
DOI：10.13545/j.cnki.jmse.2020.03.008
发表时间：2020
4
一类基于量子程序理论的序列效应代数
一类基于量子程序理论的序列效应代数
DOI：10.3969/j.issn.0583-1431.2020.06.010
发表时间：2020
5
做客肿瘤细胞的免疫检查点分子: 不在其位,也谋其政
做客肿瘤细胞的免疫检查点分子: 不在其位,也谋其政
DOI：10.13865/j.cnki.cjbmb.2022.04.0124
发表时间：2022
李未的其他基金
批准号：60473084
批准年份：2004
资助金额：22.00
项目类别：面上项目
批准号：69973006
批准年份：1999
资助金额：40.00
项目类别：面上项目
批准号：69283002
批准年份：1992
资助金额：6.00
项目类别：专项基金项目
批准号：41471401
批准年份：2014
资助金额：85.00
项目类别：面上项目
批准号：69683002
批准年份：1996
资助金额：12.00
项目类别：专项基金项目
批准号：68873021
批准年份：1988
资助金额：6.00
项目类别：面上项目
批准号：90104008
批准年份：2001
资助金额：30.00
项目类别：重大研究计划
批准号：40801200
批准年份：2008
资助金额：19.00
项目类别：青年科学基金项目
批准号：69433030
批准年份：1994
资助金额：50.00
项目类别：重点项目
相似国自然基金
1
程序规范到程序生成的面向对象理论及实现方法
批准号：69433032
批准年份：1994
负责人：冯玉琳
学科分类：F02
资助金额：20.00
项目类别：重点项目
2
面向网络规范的演化程序开发理论与方法
批准号：61370219
批准年份：2013
负责人：李廉
学科分类：F0207
资助金额：73.00
项目类别：面上项目
3
泛型程序的规范和验证问题研究
批准号：61063003
批准年份：2010
负责人：丁志义
学科分类：F0203
资助金额：23.00
项目类别：地区科学基金项目
4
面向对象程序的形式化规范与验证
批准号：61100061
批准年份：2011
负责人：王淑灵
学科分类：F0201
资助金额：24.00
项目类别：青年科学基金项目