下载 >  课程资源 >  专业指导 > R. W. Butler(From NASA). What is Formal Methods

R. W. Butler(From NASA). What is Formal Methods 评分:

关于“形式化方法”概念的说明,很易于理解。对刚接触形式化方法的人很有帮助。
2010-07-29 上传大小:136KB
分享
收藏 举报
The Linear Complementarity Problem

Richard W. Cottle,Jong-Shi Pang,Richard E. Stone Paperback: 789 pages Publisher: Society for Industrial & Applied Mathematics (July 28, 2009) Language: English ISBN-10: 0898716861 ISBN-13: 978-0898716863 Product Dimensions: 6.8 x 1.6 x 9.7 inches 研究游戏物理引擎的同学不要错过啊。

立即下载
Agent Technology From a Formal Perspective - NASA Monographs in Systems and Software Engineering

Agent Technology From a Formal Perspective - NASA Monographs in Systems and Software Engineering

立即下载
Software Engineering and Formal Methods

这是关于软件工程的电子书,高清,最新版本,经典著作,英文版

立即下载
Principles of Mathematical Analysis (Rudin)

Walter rudin is the author of threee textbooks, Principles of Mathematical Analysis, Real and Complex Analysis, and Functional Analysis

立即下载
Practical Methods of Optimization 第二版 Fletcher R

Practical Methods of Optimization 第二版 作者 Fletcher R 大师之作不用多介绍

立即下载
[W. Sun, Y. Yuan] Optimization Theory and Methods - Nonlinear Programming

[Wenyu Sun, Ya-Xiang Yuan] Optimization Theory and Methods - Nonlinear Programming-Springer (2006)

立即下载
An Introduction to the Mathematics and Methods of Astrodynamics 2_Battin

The all-inclusive treatise on "Astrodynamics" by Richard H. Battin clearly must be counted among the great classics in scientific literature. This text documents the fundamental theoretical developments in astrodynamics and space navigation that eventually led to man's ventures into space. It

立即下载
formal methods

了解形式化方法的书,是初学者学习形式化方法的入门书

立即下载
Numerical.Methods.for.Engineers

英文原版 工程数值方法(第6版) (美)Steven C.Chapra,(美)Raymond P.Canale著 讲解工程领域中经常使用的各类数值求解方法。包括建模、计算机与误差分析问题、方程求根、线性代数方程组等

立即下载
高光谱遥感数据集Botswana

The NASA EO-1 satellite acquired a sequence of data over the Okavango Delta, Botswana in 2001-2004. The Hyperion sensor on EO-1 acquires data at 30 m pixel resolution over a 7.7 km strip in 242 bands covering the 400-2500 nm portion of the spectrum in 10 nm windows. Preprocessing of the data was per

立即下载
Applied multivariate statistical analysis 6th edition

这本书出自 Richard A. Johnson (Author), Dean W. Wichern (Author) 两位著名的教授,是这个领域比较著名的数,在工业工程,经济管理,工程科技等涉及多变量的领域应用广泛。仅仅用作学习目的,阅后请删除。

立即下载
什么是数学 What Is Mathematics

什么是数学 What Is Mathematics -- An Elementary Approach to Ideas and Methods, 2nd Edition, Richard Courant & Herbert Robbins, 1996

立即下载
The BOXSTEP Method for Large Scale Optimization

The BOXSTEP Method for Large Scale Optimization W. W. Hogan, R. E. Marsten, and J. W. Blankenship

立即下载
Finite Volume Methods,有限体积法经典书目Robert Eymard, Thierry Gallou¨et, and Rapha`ele Herbin

Finite Volume Methods,有限体积法经典书目Robert Eymard, Thierry Gallou¨et, and Rapha`ele Herbin

立即下载
Kleinrock - Queueing Systems (1975).pdf

Wiley::Queueing Systems, Volume 1, Theory网站上找的,共享一下。呵呵

立即下载
Understanding Formal Methods

This book is aimed at all those who are rightly puzzled by the complex and controversial panorama of formal methods. It is unique as to its completeness and its compromise between rigorous exposition of underlying mathematical theories and concrete explanations of the implementation of techniques u

立即下载
FM 2016: Formal Methods

FM 2016: Formal Methods: 21st International Symposium

立即下载
what is mathematics An Elementary Approach to Ideas and Methods

本书详细介绍了数学的各个分支。对于有需要了解数学方法的程序员有很大的帮助。

立即下载
W. R. Smyth-Static and Dynamic Electricity

静态场的求解,哈林顿的书中引用到

立即下载
Parallel and Distributed Computation

Reviews : "This major contribution to the literature belongs on the bookshelf of every scientist with an interest in computational science, directly beside Knuth's three volumes and Numerical Recipes..." Anna Nagurney, University of Massachusetts, in the International Journal of Supercomputer Appli

立即下载

热点文章

img

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

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

R. W. Butler(From NASA). What is Formal Methods

会员到期时间: 剩余下载个数: 剩余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!

举报

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