InternationalFranciscoSoftwareWorkshop
InterpretationInternationalVerificationAbstract
InternationalGrenobleSoftwareWorkshop
自旋SpinInternationalVerification
自旋TheoreticalInternatioPractical
Medical预售ChecklistChecking
9783030913830Synthesis预订Learning
原版中商英文现货
校验CheckingSoftware模型
预订CheckingSystemsQuantum
9783639101423ArchitecturesScalabilityImproving
InterpretationVerification预订Abstract
本特DedicatedSynthesisLearning
Process健壮ConformanceGuarantees
InterpretationInternationalVerification抽象
InterpretationInternationalVerificationVerificati
Checking9783031301667VerificationAnnotation
预售GenerateCheckingCases
预售ConformanceChecking
CheckingFactIntegrateDifferent
Interpretation9783030945824Verification预订
简明VerificationAnnotationChecking
一致性ConformanceProcessesRelating
量子算法PrinciplesAlgorithms
9783031150760InternationalSymposium预订
预售ConcurrentCheckingMethods
原版英文英语英文版
比例尺细化抽象Abstraction
契诃夫查阅DirectorsChecking
9789027225627预订MovementChecking
扫描二维码打开
周一至周六
9:00-22:00
生态农业开发平台 Copyright © 2010 - 2021 http://xjnyxx.yuncomcn.com/ All Rights Reserved
![按需印刷不退不换Improving Scalability of Model Checking Software Architectures[9783639101423]](https://img.alicdn.com/bao/uploaded/i1/1899623276/O1CN01nxlUmS1a4SIl3gfkR_!!0-item_pic.jpg_310x310.jpg)
![[预订]Verification, Model Checking, and Abstract Interpretation](https://img.alicdn.com/bao/uploaded/i1/454266620/O1CN01HV6RQV1ym0mQt9gn9_!!0-item_pic.jpg_310x310.jpg)
![[预订]Concise Guide to Software Verification: From Model Checking to Annotation Checking 9783031301667](https://img.alicdn.com/bao/uploaded/i2/454266620/O1CN01WyGLvy1ym0nh4TnWw_!!0-item_pic.jpg_310x310.jpg)
