9781848827448VerificationSequentialConcurrent
9783319431734VerificationStructuresAlgorithms
9783319681665InternationalVerificationTechnology
International9783319415390VerificationConference
9781849968294VerificationIntegratedSoftware
9781489985132VerificationMethodologyCookbook
9783642252303InternationalVerificationEngineering
9781489985309VerificationSynthesisEmbedded
International9783540662020VerificationConference
International9783642221095VerificationConference
9781848822399VerificationIntegratedSoftware
DesignInstallations9781138606005Verification
International9783319516400ApplicationsVerification
VerificationInternational9783319703886Hardware
9783540639824VerificationSequentialAutomatic
VerificationInternational9783319133379Hardware
9781475770360VerificationAlgorithmsSynthesis
9783662452301ApplicationsVerificationSpecialized
9783319471686ApplicationsVerificationLeveraging
9783319594170ComprehensiveVerificationTechnologies
9783659273940VerificationAutomated预订
9781461287018VerificationTemporalReactive
International9783642427435VerificationConference
International9783540892465VerificationWorkshop
VerificationInternational9783540326045Hardware
9789402404982VerificationAlgorithmsAccuracy
International9783319542911VerificationNumerical
9783845432748VerificationInformation预订
9783030034177ApplicationsVerificationLeveraging
9783319843087VerificationFundamentalsSecurity
International9783031171956VerificationConference
9786138388760Verification预订Formal
InternationalVerificationTechnologyAutomated
9781489984449VerificationTechniquesScalable
9783319205526CalculationsVerificationTechniques
9783030010898InternationalVerificationTechnology
Verification9783030034207ApplicationsLeveraging
International9783319671123VerificationAutomated
Power9783319666181VerificationDesign
VerificationInternational9783319490519Hardware
扫描二维码打开
周一至周六
9:00-22:00
淘折扣 滇ICP备2023000592号-3 滇公网安备53230102000530号 统一社会信用代码:91532300MAC2D0R706 Copyright © 2010 - 2025 https://www.bgaw.cn/ All Rights Reserved
扫描下载二维码