没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
形式
形式
共8个文件
html:5个
py:3个
Python
需积分: 5
0 下载量
48 浏览量
2021-02-17
14:19:05
上传
评论
收藏
4KB
ZIP
举报
温馨提示
立即下载
形式
资源推荐
资源详情
资源评论
COMSOL_弱形式.doc
浏览:69
弱形式也是积分形式,拥有和积分形式同样的优点,但是他对积分变量的连续性要求更低,可以看作是能量最小化形式的更一般形式。最重要的是,弱形式非常适合求解非线性的多物理场问题,这就是COMSOL Multiphysics的...
创新老声卡驱动 支持windows7 解决了inf形式与要求的形式不同问题
浏览:10
5星 · 资源好评率100%
创新老声卡ES1370 1371 1373等等的驱动有的支持windows7,...也解决了inf形式与要求的形式不同的问题.现传上来由于资源空间限制由几个大文件上传不了.里面有目录图片介绍.如果正好你需要的没有.可以登录我的QQ空间下载
软件形式规格说明语言-Z
浏览:187
1. 什么是形式化方法? 2. 软件形式化有什么优点?(一个是精确,另一个是可验证的。) 3. 什么是Z语言?(软件的形式规格说明语言,基于数学的一种表示,用于规格说明) 4. 软件规格说明有哪两种抽象?(数据抽象...
软件开发的形式化方法
浏览:199
4星 · 用户满意度95%
《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论,内容涵盖了SE2004中关于"软件的形式化方法"的知识点,主要包括:有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、...
软件工程的形式化方法
浏览:138
形式化方法
形式化方法与软件可靠性
浏览:193
形式化方法在软件开发中能够起到的作用是多方面的。首先是对软件要求的描述。软件要求的描述是软件开发的基础。比如说一般非形式化的描述很可能导致描述的不明确和不一致。如果描述的不明确和不一致导致设计,编程的...
软件开发中的形式化方法
浏览:113
5星 · 资源好评率100%
基于研究的角度,讨论了在软件开发过程各阶段使用形式化方法的可能及困难,进而研究了形式化方法在理论上和应用上的能力、局限性及其产生原因,以及由此产生的对形式化方法的讨论。
bupt形式语言与自动机作业答案
浏览:75
bupt形式语言与自动机作业答案
中国科学技术大学形式化方法实验和期末复习资料
浏览:92
中国科学技术大学形式化方法实验和期末复习资料
软件工程形式化
浏览:74
武汉大学软件工程国家重点实验室讲义,是软件工程领域形式化\语义逻辑必须有的知识储备
金岳霖 形式逻辑 扫描版
浏览:110
4星 · 用户满意度95%
《形式逻辑》不错的书籍,金岳霖所著,扫描版的
2015哈工大形式语言作业2
浏览:90
2015哈工大形式语言作业2 还有第一部分
NUAA南航 形式语言与自动机编程作业 CYK算法.zip
浏览:201
NUAA ccst 形式语言与自动机 编程作业之一
软件形式化方法视频教程1-4讲
浏览:93
软件形式化方法视频教程,非常好,付费购买某视频网站。软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用...
形式语言与自动机 答案 北邮
浏览:130
5星 · 资源好评率100%
北邮形式语言与自动机课后答案这是第二三章的
收起资源包目录
form-master.zip
(8个子文件)
form-master
config.py
480B
app.py
2KB
form.py
255B
templates
index.html
207B
admin
post_form.html
427B
signup_form.html
1KB
post_view.html
210B
base_template.html
182B
共 8 条
1
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
马雁飞
粉丝: 18
资源:
4520
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
一个包含变量、语句、条件判断、循环和逻辑操作的 C 语言示例代码
lstmlstmlstmlstmlstmlstmlstm.txt
小净的开拉黑也提.m4a
数据库课程设计mysql学生管理系统代码.zip
安卓项目期末大作业-新闻阅读APP程序代码.zip
java-leetcode题解之第83题删除排序链表中的重复元素.zip
java-leetcode题解之第75题颜色分类.zip
211480507628881release.apk
vue开发er-paper-mdemo
618节日CM-2023C-m开发笔记
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功