9783319671031VerificationReliabilityNanoscale
9783642340314InternationalApplicationsVerification
9783319431734VerificationStructuresAlgorithms
9783319681665InternationalVerificationTechnology
International9783319415390VerificationConference
9783319470146VerificationStateflowDeductive
9781475770360VerificationAlgorithmsSynthesis
International9783642221095VerificationConference
9783642252303InternationalVerificationEngineering
9783319205526CalculationsVerificationTechniques
International9783319516400ApplicationsVerification
VerificationInternational9783319703886Hardware
9786200469472verificationforecasts预订
VerificationInternational9783319133379Hardware
9783642423161VerificationEngineeringValidation
9781848827448VerificationSequentialConcurrent
9783540642015ApproximationVerificationAlgorithms
9781848822399VerificationIntegratedSoftware
9783662452301ApplicationsVerificationSpecialized
International9783540662020VerificationConference
9783319339504VerificationReliabilityModelling
9783845402321VerificationInspectionComputer
9783540639824VerificationSequentialAutomatic
Reconfigurable9783319380865VerificationDynamically
9783319471686ApplicationsVerificationLeveraging
9783319594170ComprehensiveVerificationTechnologies
9781489984449VerificationTechniquesScalable
9783330034839VerificationFingerprint预订
9783319843087VerificationFundamentalsSecurity
International9783642427435VerificationConference
9783540646082InternationalVerificationConference
DesignInstallations9781138606005Verification
International9783319633893VerificationConference
International9783031171956VerificationConference
9783659273940VerificationAutomated预订
International9783540892465VerificationWorkshop
9783319576831VerificationFormalSystem
International9783319635002VerificationHeidelberg
9783319862231VerificationFormalSystem
9783319827537VerificationStructuresAlgorithms
扫描二维码打开
周一至周六
9:00-22:00
淘折扣 滇ICP备2023000592号-3 滇公网安备53230102000530号 统一社会信用代码:91532300MAC2D0R706 Copyright © 2010 - 2025 https://www.bgaw.cn/ All Rights Reserved
扫描下载二维码