预售DistributedEmbeddedMethods
预订MethodsTestingFormal
Languages预订TrendsFormal
Industrial预订MethodsApplied
Methods9783030388027EngineeringApplication
预订ComputerMethodsFormal
Integrated预订MethodsFormal
DistributedTechniquesNetworked预订
Distributed预订MethodsSystems
Foundations预订MethodsFormal
医药图书Distributed分布对象
分布式DistributedTechniquesComponents
形式化方法FormalInternationalDynamical
中商英文数字化原版
ApplicationsTechnology预订Methods
DevelopmentEngineering实时Software
ApplicationsVerificationLeveragingValidation
形式化方法软件测试InternationalApproaches
InternationalArgumentation论证Applications
代数和自动机语法Automata
Components预订MethodsObjects
Trustworthy预订MethodsFormal
SpecificationDescriptionTechniquesVerificati
统计学Demography人口海外
ApplicationsFoundationsBrazilianSymposium
预售VerificationPropertyRoadmap
预售ComputingDedicatedNatural
丛书形式理论数学
9783030906351Component预订Software
CombinatoricsCooperationLanguages形式
语义VHDLSemantics形式
预订MethodsFormal2003
预售ApproachHardwareFormal
预订ModelingAnalysisSystems
形式化方法分布式Distributed基于
原版英文英语英文版
TechniquesProcesses预订Computer
Specification预订NotationFormal
FoundationsEngineering预订Software