Rigorous Software Development - An Introduction to Program Verification
Rigorous Software Development - An Introduction to Program Verification 英文版 非扫描版 高清文字带图 By José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa
用户评论
相关推荐
软件开发概论Introduction to Software Development
本书专为在自由软件开发领域中崭露头角的IT专家和开发人员而设计。 它还介绍了有关协作和分布式工作的信息,通常称为“集市模型”。
TXT
105B
2020-08-18 11:00
Systems and Software Verification
模型检测(modelchecking)是一种很重要的自动验证技术。它最早由Clarke和Emerson以及Quielle和Sifakis在1981年分别提出，主要通过显式状态搜索或隐式不动点计算来验证
PDF
0B
2019-09-07 03:40
Software debugging testing and verification
Software debugging, testing, and verification
PDF
0B
2018-12-26 11:37
Program Regularization in Memory Consistency Verification
Program Regularization in Memory Consistency Verification
PDF
1.03MB
2021-05-01 09:29
software introduction
关于mtk软件介绍softwareintroduction
RAR
0B
2019-09-22 17:56
Program Development in Java
一本讲Java软件架构的的书，很不错。里面主要讲如何写出规范标准的软件，以Java为实例。
docx
0B
2019-09-21 12:36
Introduction to Machine Learning with R Rigorous Mathematical Analysis epub
IntroductiontoMachineLearningwithRRigorousMathematicalAnalysis英文epub本资源转载自网络，如有侵权，请联系上传者或csdn删除查
EPUB
0B
2020-05-07 02:54
Introduction To Development
Introduction To Development
PPTX
0B
2018-12-28 04:13
IF GPS Signal Simulator Development and Verification
“GPS中频模拟器的开发与验证”，卡尔加里大学的论文。对GPS信号模拟器和接收器的相关知识都有所介绍。
PDF
0B
2019-07-06 02:42
Rigorous Software Engineering for Service_Oriented Systems SENSORIA Project
RigorousSoftwareEngineeringforService-OrientedSystemsResultsoftheSENSORIAProjectonSoftwareEngineerin
PDF
0B
2019-07-09 18:33
Introduction to Software Testing
Thisextensivelyclassroom-testedtexttakesaninnovativeapproachtoexplainingsoftwaretestingthatdefinesit
PDF
0B
2019-05-27 18:02
Introduction To Software Testing
关于软件测试的国外经典原版教材，很值得收藏
pdf
0B
2019-09-10 08:26
software architecture introduction
CarnegieMellonUniversity基本的软件结构概念介绍，值得一读
PDF
0B
2019-09-22 17:57
Introduction to Software Architecture
Introduction to Software Architecture Software architecture involves the integration of software dev
PDF
0B
2018-12-16 09:53
Introduction to software architecture
软件架构设计简介, 主要简单介绍了软件架构设计方面的一些基本方法
PDF
0B
2018-12-16 09:53