Rigorous Software Development - An Introduction to Program Verification

Name: Rigorous Software Development - An Introduction to Program Verification
Rating: 4.5 (53 reviews)
Author: wangbh_2593

上传者：wangbh_2593 2019-04-15 04:44:53上传其他文件 500kb 热度 53次

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

Rigorous Software Development - An Introduction to Program Verification

大小：0B | 2019-04-15 04:44:53
软件开发概论Introduction to Software Development

本书专为在自由软件开发领域中崭露头角的IT专家和开发人员而设计。它还介绍了有关协作和分布式工作的信...

大小：105B | 2020-08-18 11:00:55
Systems and Software Verification

模型检测(modelchecking)是一种很重要的自动验证技术。它最早由Clarke和Emerso...

大小：0B | 2019-09-07 03:40:50
Program Regularization in Memory Consistency Verification

Program Regularization in Memory Consistency Verif...

大小：1.03MB | 2021-05-01 09:29:44
Software debugging testing and verification

Software debugging, testing, and verification

大小：0B | 2018-12-26 11:37:12
software introduction

关于mtk软件介绍softwareintroduction

大小：0B | 2019-09-22 17:56:55
Program Development in Java

一本讲Java软件架构的的书，很不错。里面主要讲如何写出规范标准的软件，以Java为实例。

大小：0B | 2019-09-21 12:36:14
Introduction To Development

Introduction To Development

大小：0B | 2018-12-28 04:13:36
Rigorous Software Engineering for Service_Oriented Systems SENSORIA Project

RigorousSoftwareEngineeringforService-OrientedSyst...

大小：0B | 2019-07-09 18:33:59
IF GPS Signal Simulator Development and Verification

“GPS中频模拟器的开发与验证”，卡尔加里大学的论文。对GPS信号模拟器和接收器的相关知识都有所介绍...

大小：0B | 2019-07-06 02:42:06
Introduction to Machine Learning with R Rigorous Mathematical Analysis epub

IntroductiontoMachineLearningwithRRigorousMathemat...

大小：0B | 2020-05-07 02:54:40
software architecture introduction

CarnegieMellonUniversity基本的软件结构概念介绍，值得一读

大小：0B | 2019-09-22 17:57:01
Introduction To Software Testing

关于软件测试的国外经典原版教材，很值得收藏

大小：0B | 2019-09-10 08:26:25
Introduction to Software Testing

IntroductiontoSoftwareTesting软件测试的经典书籍和教材，英文版，包括1和...

大小：0B | 2019-07-09 10:27:45
Introduction to Software Architecture

Introduction to Software Architecture Software arc...

大小：0B | 2018-12-16 09:53:17
An Introduction to Software Architecture

As the size of software systems increases, the alg...

大小：0B | 2018-12-16 09:53:43