2024年7月3日
星期三
|
欢迎来到维普•公共文化服务平台
登录
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
搜索到
篇“
代数规范
“的相关文章
资源类型:
全部数字资源类型
期刊文章
政策法规
学位论文
专利
会议论文
标准
专著
科技成果
产品样本
科技报告
排序方式:
相关度排序
被引量排序
时效性降序
时效性升序
相关作者
陈意云
作品数:133
被引量:647
H指数:16
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:HOARE逻辑 指针逻辑 代码迷惑 出具证明编译器 面向对象
尹剑飞
作品数:23
被引量:69
H指数:4
供职机构:深圳大学计算机与软件学院
研究主题:模型驱动构架 重写逻辑 代数规范 元建模 WEB系统
舒忠梅
作品数:47
被引量:262
H指数:9
供职机构:中山大学教育学院
研究主题:粒度 时态 数据仓库 病历 知识表示
孙永强
作品数:192
被引量:307
H指数:8
供职机构:上海交通大学
研究主题:程序设计 面向对象 函数式语言 程序语言 计算机网络
王昌晶
作品数:44
被引量:63
H指数:5
供职机构:江西师范大学
研究主题:形式化推导 泛型 PAR平台 APLA 循环不变式
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张