Databases预订MethodsFormal
Engineering预订MethodsSystems
形式化方法软件工程EngineeringSoftware
9789401025331LinguisticsHistorical预订
多项式形式化时序Verification
形式化语义切片Applications
里克库布PhilosophicalKubrick's
PerspectiveFunctionsMusical海外
非正规InternationalPerspectivesComparative
ApplicationRetirementDedicated预订
EngineeringDistributed预订Protocol
Architectures预订SoftwareMethods
Engineering预订SoftwareMethods
原版中商英文Mathematics
预售DistributedMethodsFormal
9783030575113Architecture预订Methods
9783030891589ApplicationsVerificationLeveraging
预售VerificationSolutionsScalable
International组件ComponentSymposium
ApplicationsVerificationLeveragingValidation
博弈FoundationsSciencesInfinite
Industrial预订CriticalMethods
预售SpecificationDevelopmentFormal
预售VerificationTechniquesScalable
预售DistributedTechniquesNetworked
预售IntroductionMethodsFormal
预售EngineeringPracticalSoftware
预售SpecificationTechniquesFormal
预售TechniquesCriticalFormal
预售EngineeringSynthesisFormal
预售ComponentsMethodsObjects
预售ApplicationsMethodsModern
预售InteractionComputerMethods
预售StructuredMethodsFormal
预售VerificationCircuitsFormal
形式化内核Operating模型
预售PragmaticsSemanticsLanguage
