微处理器SecdMicroprocessorVerification
VerificationProgrammingOrientedAnalysis
预售Verification印刷
SystemverilogVerificationMethodology验证
K.VerificationApproachSoftware
VerificationSimulation符号Symbolic
InternationaVerification嵌入式Analysis
行时VerificationProcessors处理器
硬件设计VerificationHardwareAdvanced
9781013271014VerificationComputer印刷
医药图书IGRTVerificationTreatment
VerificationCorrectnessIntroducing预订
VerificationLanguageHardware验证
InternationalVerificationConferenceComputer
InternationalVerificationTechnologySymposium
SpecificationVerificationDevelopment预订
9783030888848VerificationTechnologyAutomated
VerificationEngineeringValidationScientific
InterpretationVerification预订Abstract
ParameterizedDecidabilityVerification验证
VerificationValidationSoftware确认
硬件设计VerificationHardwareAdvances
合规性量化IntroductionVerification
Verification预订SoftwareSystems
VerificationValidationArtificialProcedures
体系结构CryptographicArchitectureVerification
VerificationValidation预订Real
VerificationFundamentalComputer验证
VerificationTechniquesCheckingSoftware
形式化VerificationIntroductionHardware
9781119426424VerificationValidation预订
Verification电路Circuits验证
VerificationMethodologyTechniques验证
Verification预订SoftwareHardware
9783540786351VerificationOperationalSemantics
VerificationValidation实时Software
形式化InternationalVerificationConference
VerificationIntroductionDevelopment软件开发
扫描二维码打开
周一至周六
9:00-22:00
安康生态农业开发平台 Copyright © 2010 - 2021 http://xjnyxx.yuncomcn.com/ All Rights Reserved
![按需印刷不退不换Computer Aided Verification[9781013271014]](https://img.alicdn.com/bao/uploaded/i4/1899623276/O1CN01MBK9031a4SIgzyz8F_!!0-item_pic.jpg_310x310.jpg)
![[预订]Introducing Software Verification with Dafny Language: Proving Program Correctness](https://img.alicdn.com/bao/uploaded/i4/454266620/O1CN014FAZ1N1ym0n8NybXX_!!0-item_pic.jpg_310x310.jpg)
