下载 >  课程资源 >  专业指导 > formal methods

formal methods 评分:

了解形式化方法的书,是初学者学习形式化方法的入门书
2009-09-15 上传大小:1.13MB
分享
收藏 举报
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

立即下载
Software Engineering and Formal Methods

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

立即下载
Formal Methods for Multicore Programming SFM 2015

Formal Methods for Multicore Programming SFM 2015

立即下载
Formal Methods for Components and Objects FMCO 2012

Formal Methods for Components and Objects FMCO 2012 ABS LANGUAGE

立即下载
Formal correctness of security protocols

This is a book about how to use formal methods to verify security protocols.

立即下载
SystemVerilog Assertions Handbook for Formal and Dynamic Verification-

书名:SystemVerilog Assertions Handbook for Formal and Dynamic Verification 作者:Ben Cohen, Srinivasan Venkataramanan, Ajeetha Kumari, Lisa Piper 语言:英文 版本:第1版 感谢genghis网友的搜集整理。

立即下载
Formal method

Formal method for formal design

立即下载
An Introduction to FORMAL LANGUAGES and AUTOMATA

Instructor's Manual to accompany An Introduction to FORMAL LANGUAGES and AUTOMATA FIfth Edition

立即下载
NFM 2010-NASA Formal Methods Symposium 2010 论文集

(我现在主要在CSDN上整理计算机安全、软件工程(可信软件)、系统及通信方面的论文及相关理论书籍,如果对这方面内容感兴趣,可以访问:http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多,需要大家人工手动查找。另外,资料顺序并不按照时间排列,只是想起来了就上传。CSDN这套系统不敢恭维,也请大家见谅。) NASA在软件与信息系统形式化验证方面的著名会议,NASA在形式化方面具有较强的研究实力,大名鼎鼎的JPF即由其开发和维护。 由于NASA在国防、科研方面的特殊地位,此会议也吸引了大量的高校研究学者参加,适合系统安全、可信软件等领域的研究人员参

立即下载
Formal Methods: State of the Art and Future Directions

关于形式化理论的权威综述,来自cmu的clarke和wing,非常简易有兴趣的同学看看

立即下载
Unifying Theories of Programming and Formal Engineering Methods

是一本有关形式化建模和模型验证方面的学术论文集,包含5篇相关学术论文

立即下载
腾讯通rtxclient2010formal

腾讯通,企业版的QQ。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。

立即下载
rtxclient2013formal

rtx client 2013腾讯通的最新版本,可以使用一下。

立即下载
An Introduction to Formal Languages and Automata - Fifth Edition - Peter Linz

This book is designed for an introductory course on formal languages, automata, computability, and related matters. These topics form a major part of what is known as the theory of computation. A course on this subject matter is now standard in the computer science curriculum and is often taught fai

立即下载
On a problem of formal logic___ramsey___1928

On a problem of formal logic___ramsey___1928On a problem of formal logic___ramsey___1928On a problem of formal logic___ramsey___1928On a problem of formal logic___ramsey___1928On a problem of formal logic___ramsey___1928On a problem of formal logic___ramsey___1928On a problem of formal logic___ramse

立即下载
an introduction to formal languages and automata 6th edition

最新版,形式语言与自动机导论,第六版。英文原版计算机专业教材。

立即下载
hardware design verification simulation

Hardware.Design.Verification.Simulation.and.Formal.Method.Based.Approaches pdf版本,带目录

立即下载
Formal Development of a Network-Centric Rtos

This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. One of the first in its kind, OpenComRTOS was originally developed to verify the usefulness of formal methods in the context of embedded software engineering. Using the formal methods described in this

立即下载
Spring实战

中文版的Spring框架,There is a fairly well-developed formal theory of exploration for very simple problems. Although it is instructive, the methods it provides do not scale well to more complex problems.

立即下载

热点文章

img

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

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

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!

举报

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