9780691606057CoordinatingVerificationProcesses
Verification预订SoftwareControl
Verification预订Runtime
预售VerificationProceduresMethods
VerificationStatecharts预订Modeling
9780367779900VerificationTreatment预订
Verification预订ModelingSystems
预售VerificationSoftwareHardware
ApplicationsVerificationFundamental预订
Verification预订ComputerAided
Verification预订HardwareMethods
Verification预订CircuitsFormal
预售CoordinatingVerificationComputer
VerificationCoordinatingProcesses预订
Verification预订SoftwareHardware
InterpretationVerification预订Abstract
Verification预订SoftwareSystems
9781138606012InstallationsVerificationRegulations
VerificationNumerical预订Software
9783540786351VerificationOperationalSemantics
VerificationValidation预订Real
9781013271007VerificationComputer印刷
SpecificationVerificationDevelopment预订
9781441954206Verification预订Advanced
9781119426424VerificationValidation预订
9781013271014VerificationComputer印刷
9783836494526SpecificationVerificationIsabelle
Verification预订ReactiveSystems
9783739241241VerificationConcurrentSoftware
9783639000023VerificationExtendingPrograms
9781498110020VerificationSupernatural预订
预售InternationalVerificationComputer
预售VerificationLecturesRuntime
扫描二维码打开
周一至周六
9:00-22:00
安康生态农业开发平台 Copyright © 2010 - 2021 http://xjnyxx.yuncomcn.com/ All Rights Reserved
![按需印刷不退不换Computer-Aided Verification of Coordinating Processes[9780691606057]](https://img.alicdn.com/bao/uploaded/i1/1899623276/O1CN01Cfdy851a4SIAtSfPB_!!0-item_pic.jpg_310x310.jpg)
![[预订]On-Treatment Verification Imaging 9780367779900](https://img.alicdn.com/bao/uploaded/i1/454266620/O1CN01p7YhoB1ym0nXax8Cd_!!0-item_pic.jpg_310x310.jpg)
![[预订]18th Edition IET Wiring Regulations: Design and Verification of Electrical Installations, 9th ed 9781138606012](https://img.alicdn.com/bao/uploaded/i1/454266620/O1CN01B2EiDS1ym0ncXoyd6_!!0-item_pic.jpg_310x310.jpg)
![按需印刷不退不换Computer Aided Verification[9781013271007]](https://img.alicdn.com/bao/uploaded/i2/1899623276/O1CN01QYZuyH1a4SIcGp1HV_!!0-item_pic.jpg_310x310.jpg)
![按需印刷不退不换Computer Aided Verification[9781013271014]](https://img.alicdn.com/bao/uploaded/i4/1899623276/O1CN01MBK9031a4SIgzyz8F_!!0-item_pic.jpg_310x310.jpg)
![按需印刷不退不换Specification and Seamless Verification of Embedded Real-Time Systems - FOCUS on Isabelle[9783836494526]](https://img.alicdn.com/bao/uploaded/i2/1899623276/O1CN01kf2MT51a4SIk04vkN_!!0-item_pic.jpg_310x310.jpg)
![按需印刷不退不换Formal Verification of Concurrent Embedded Software[9783739241241]](https://img.alicdn.com/bao/uploaded/i4/1899623276/O1CN01B6xW0p1a4SIYNozsQ_!!0-item_pic.jpg_310x310.jpg)
![按需印刷不退不换Extending KeY for the Verification of C Programs[9783639000023]](https://img.alicdn.com/bao/uploaded/i2/1899623276/O1CN01RW0SzL1a4SIag7FOt_!!0-item_pic.jpg_310x310.jpg)
