英文原版Deductive Software Verification The KeY Book 1st Edition

上传者：夏夏的valentine 2020-06-08 09:16:12上传 RAR文件 7.25MB 热度 19次

Staticanalysisofsoftwarewithdeductivemethodsisahighlydynamicfieldofresearchonthevergeofbecomingamainstreamtechnologyinsoftwareengineering.Itconsistsofalargeportfolioof-mostlyfullyautomated-analyses:formalverification,testgeneration,securityanalysis,visualiz

下载地址

用户评论

更多下载

下载地址

立即下载

收藏腾讯微博

用户评论

英文原版Deductive Software Verification The KeY Book1st Edition

Staticanalysisofsoftwarewithdeductivemethodsisahig...

大小：0B | 2020-06-08 09:16:12
英文原版The NeuroICU Book1st Edition

Thefirstpractical,protocol-basedguidetotheemerging...

大小：0B | 2020-05-23 10:17:20
英文原版How to Read a Book1st Edition

Anaward-winningnovelistrevealsthebooksthathavecapt...

大小：0B | 2020-04-21 19:49:07
英文原版The Facebook Marketing Book1st Edition

HowcanFacebookhelpyoupromoteyourbrand,products,and...

大小：0B | 2020-03-13 02:52:52
英文原版ReEngineering Legacy Software1st Edition

As a developer, you may inherit projects built on ...

大小：3.7MB | 2020-07-17 21:47:04
英文原版Building Software Teams1st Edition

Ten Best Practices for Effective Software Developm...

大小：1.31MB | 2020-07-17 02:57:24
英文原版The Stack On Software and Sovereignty1st Edition

Whathasplanetary-scalecomputationdonetoourgeopolit...

大小：0B | 2020-03-24 03:35:32
英文原版COBOL Software Modernization1st Edition

Nowadays, billions of lines of code are in the COB...

大小：9.5MB | 2020-07-22 07:37:05
英文原版Software Reading Techniques1st Edition

Twenty Techniques for More Effective Software Revi...

大小：4.02MB | 2020-07-21 16:49:59
英文原版Software Engineering for Science1st Edition

Software Engineering for Science provides an in-de...

大小：12.76MB | 2020-07-28 01:34:36