下载 >  开发技术 >  其它 > B语言与方法_实用形式化开发指南

B语言与方法_实用形式化开发指南 评分:

B语言与方法 / (英)K. Lano著 , 鲍涌等译 高等教育出版社 出版日期: 1998.7 目录: 第一章 引言 1.1 形式化方法
2018-01-02 上传大小:6.43MB
想读
分享
收藏 举报
C语言(New B语言)
B语言教程 形式化开发

B语言形式化开发指南(书) B语言形式化开发指南(书) B语言形式化开发指南(书)

立即下载
B语言方法实用形式化开发指南

本书介绍了B 抽象机符号语言以及用于支持形式化规格说明和高集成系统开发的方法。首先,介绍了B 语言的发展历史及与其他语言的关系,然后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支持的大型程序设计方法,全面地介细了B 符号语言的描述方式。

立即下载
形式化B语言

形式化验证 B语言 安全系统设计 软件工程

立即下载
B方法讲义.rar

北大裘宗燕老师的《B方法讲义》,形式化方法讲义,B语言用于编写软件规范,指导严谨的编码过程。

立即下载
形式化规约——Z语言

形式化规约,形式化方法,Z语言,主要与软件开发的形式化方法有关。

立即下载
形式化方法 -从模型到代码的实践应用.pdf (Formal Method-Industrial Use From Model to the Code)

形式化方法简介,着重介绍了B方法及工具、SIMULINK和SCADE在形式化方法中的应用。

立即下载
B方法课件(B method)

B方法作为一种形式化语言方法,比起非形式化文档语言更有规范性。它以数学理论为基础,通过严格的逻辑推论,使得整个描述过程更为严谨,更容易转化为代码。

立即下载
形式化方法B的学习课件

法国著名大学研究生的b方法学习课件,不容易啊。老师提供的

立即下载
2017年蓝桥杯省赛C语言B组真题

2017年蓝桥杯省赛C语言B组真题

立即下载
B样条曲线绘制、bezier曲线绘制(c语言实现)

B样条和Bezier曲线的动态绘制,采用opengl绘制曲线,实现曲线的交互绘制

立即下载
一个画B样条的简单程序(c语言

一个简洁的课后作业程序,B样条的画法程序,用C语言写的,希望对想要的人有所帮助!

立即下载
2018年蓝桥杯 C语言B组试题

2018-04-01 2018年蓝桥杯个人赛-省赛 C语言B组全部试题(1-10)

立即下载
B站后端源码(go语言部分)(仅供学习使用,请勿用于商业)

本资源为bilibili(B站)后端go语言源代码,主体为Go语言,仅供学习使用,请勿用于商业。欢迎有需要的朋友下载

立即下载
用C语言求解N阶线性矩阵方程Ax=b的简单解法

1. #include<stdio.h> 2. #include<stdlib.h> 3. #include<math.h> 4. #define dim 10 //定义最大的维数10,为防止计算值溢出 5. double a[dim+1][dim+1],b[dim+1],x[dim+1]; //定义双精度数组 6. double temp; 7. double getarray(int n); //定义输入矩阵元素的函数 8. double showarray(int n);

立即下载
基础C语言练习题(全)

对于入门的初学者适合的题目 如: 第1章:C语言基础 一、选择题 1、以下叙述中正确的是( ) A)C程序中注释部分可以出现在程序中任意合适的地方 B)花括号"{"和"}"只能作为函数体的定界符 C)构成C程序的基本单位是函数,所有函数名都可以由用户命名 D)分号是C语句之间的分隔符,不是语句的一部分 2、以下叙述中错误的是( ) A) C语言本身没有输入输出语句 B) 在一个C语言程序中main函数可以在任何地方出现 C) 一个C语言源程序必须包括一个,且只能包括一个main函数 D) 在C语言源程序中,注释只能放在语句的后面 3、以下叙述中正确的是( )。 A) 构成C程序的基本单位是函

立即下载
B样条拟合程序,很完整

B样条拟合插值,根据型值点反求,然后计算插值

立即下载
B树 C语言实现

B树,C语言实现,添加到vc6.0中,可以执行的程序。

立即下载
2018省赛第九届蓝桥杯真题C语言B组

2018省赛第九届蓝桥杯真题C语言B组;2018省赛第九届蓝桥杯真题C语言B组;2018省赛第九届蓝桥杯真题C语言B组;2018省赛第九届蓝桥杯真题C语言B组;2018省赛第九届蓝桥杯真题C语言B组;2018省赛第九届蓝桥杯真题C语言B组;

立即下载
数据结构魔王语言

魔王语言的解释器,具体如下: 如,我们有魔王语言的解释规则: B →tAdA;A→ sae;(ehnxgz) → ezegexenehe 则魔王语言B(ehnxgz)B解释成tsaedsaeezegexenehetsaedsae。

立即下载

热点文章

img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

B语言与方法_实用形式化开发指南

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
3 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: