60 元券 预售SecurityAspectsFormal ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Aspects in Security and Trust: Third 60 元券 预售InternationalMethodsFormal ¥460 0去看看 中国国际图书专营店发布了 【预售】FM 2011: Formal Methods: 17th International 60 元券 DistributedTechniques预订Formal ¥460 0去看看 中国国际图书专营店发布了 【预订】Formal Techniques for Distributed Ob... 60 元券 预售IntroductionVerificationHardware ¥460 0去看看 中国国际图书专营店发布了 【预售】Introduction to Formal Hardware Verification 60 元券 预售NetworkedSoftwareMethods ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Methods for Eternal Networked Software 60 元券 预售IndustrialCriticalSystems ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Methods for Industrial Critical Systems: 14th 60 元券 预售InternationalSymposiumMethods ¥460 0去看看 中国国际图书专营店发布了 【预售】NASA Formal Methods: 4th International Symposium 60 元券 预售InternationalMethodsApplied ¥460 0去看看 中国国际图书专营店发布了 【预售】Applied Formal Methods - FM-Trends 98: International 60 元券 Languages预订HandbookVolume ¥460 0去看看 中国国际图书专营店发布了 【预订】Handbook of Formal Languages: Volume... 60 元券 预订PracticeMethodsFormal ¥460 0去看看 中国国际图书专营店发布了 【预订】Theory and Practice of Formal Methods 60 元券 Verification预售ApplicationsValidation ¥460 0去看看 中国国际图书专营店发布了 【预售】Leveraging Applications of Formal Methods, Verification and Validation. Verification 60 元券 预售VerificationApplicationsLeveraging ¥460 0去看看 中国国际图书专营店发布了 【预售】Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 60 元券 预售ComponentsObjectsMethods ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Methods for Components and Objects: 7th 60 元券 预售InternationalSecurityAspects ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Aspects of Security: First International 60 元券 Quantitative预订MethodsFormal ¥460 0去看看 中国国际图书专营店发布了 【预订】Formal Methods for the Quantitative ... 60 元券 预售DescriptionalComplexitySystems ¥460 0去看看 中国国际图书专营店发布了 【预售】Descriptional Complexity of Formal Systems: 13 60 元券 预售CorrectnessProtocolsSecurity ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Correctness of Security Protocols 60 元券 预售PracticalSecurityIssued ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal to Practical Security: Papers Issued from the 60 元券 Structured预订OrientedFormal ¥460 0去看看 中国国际图书专营店发布了 【预订】Structured Object-Oriented Formal La... 60 元券 预售InternationalIntegratedMethods ¥460 0去看看 中国国际图书专营店发布了 【预售】Integrated Formal Methods: 7th International 60 元券 预售InternationalMethodsFormal ¥460 0去看看 中国国际图书专营店发布了 【预售】FM 2012: Formal Methods: 18th International 60 元券 预售EngineeringSoftwareMethods ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Methods and Software Engineering: 13th 60 元券 预售ModelingAnalysisSystems ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Modeling and Analysis of Timed Systems: 8th 60 元券 预售ApplicationsLeveragingMethods ¥460 0去看看 中国国际图书专营店发布了 【预售】Leveraging Applications of Formal Methods 60 元券 预售InternationalIntegratedMethods ¥460 0去看看 中国国际图书专营店发布了 【预售】Integrated Formal Methods: 8th International 60 元券 预售EngineeringIndustrialSoftware ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Engineering for Industrial Software 60 元券 预售CommunicatingLanguagesSystems ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Models of Communicating Systems: Languages 60 元券 预售EngineeringSoftwareFormal ¥460 0去看看 中国国际图书专营店发布了 【预售】Software Engineering and Formal Meth... 60 元券 预售EngineeringSoftwareMethods ¥460 0去看看 中国国际图书专营店发布了 【预售】Software Engineering and Formal Methods: 10th 60 元券 预售DistributedTechniquesSystems ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Techniques for Distributed Systems: Joint 60 元券 预售ComponentsObjectsMethods ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Methods for Components and Objects: First 60 元券 预售TechniquesTolerantFormal ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Techniques in Real-Time and Fault-Tolerant 60 元券 预售StructuredOrientedFormal ¥460 0去看看 中国国际图书专营店发布了 【预售】Structured Object-Oriented Formal La... 60 元券 预售ComponentsObjectsMethods ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Methods for Components and Objects: Third 60 元券 预售IndustrialCriticalSystems ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Methods for Industrial Critical Systems 60 元券 预售TechniquesTolerantFormal ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Techniques in Real-Time and Fault-Tolerant 60 元券 Internation预订MethodsFormal ¥460 0去看看 中国国际图书专营店发布了 【预订】NASA Formal Methods: 9th Internation... 60 元券 预售SpecificationLanguagesFormal ¥460 0去看看 中国国际图书专营店发布了 【预售】Larch: Languages and Tools for Formal Specification 60 元券 预售ModelingAnalysisSystems ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Modeling and Analysis of Timed Systems: 6th 60 元券 预售BiologicalModelingSystems ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Modeling: Actors; Open Systems, Biological 60 元券 预订AnalysisModelingFormal ¥460 0去看看 中国国际图书专营店发布了 【预订】Formal Modeling and Analysis of Time... 60 元券 预售EngineeringSoftwareMethods ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Methods and Software Engineering 60 元券 预售ComponentSoftwareAspects ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Aspects of Component Software 60 元券 预售StructuredLanguageOriented ¥460 0去看看 中国国际图书专营店发布了 【预售】Structured Object-Oriented Formal Language and Method 60 元券 预售ModelingAnalysisSystems ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Modeling and Analysis of Timed Systems: 9th 60 元券 Development预订SupportSystem ¥460 0去看看 中国国际图书专营店发布了 【预订】Mural: A Formal Development Support System 60 元券 预售SystemsLinearSeries ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Power Series and Linear Systems of Mero... 60 元券 预售LanguagesDedicatedNatural ¥460 0去看看 中国国际图书专营店发布了 【预售】Languages: From Formal to Natural: Essays Dedicated 60 元券 预售InternationalIntegratedMethods ¥460 0去看看 中国国际图书专营店发布了 【预售】Integrated Formal Methods: 9th International 60 元券 预售EngineeringSoftwareMethods ¥460 0去看看 中国国际图书专营店发布了 【预售】Software Engineering and Formal Methods: 9th 60 元券 ApplicationsLeveraging预订Formal ¥460 0去看看 中国国际图书专营店发布了 【预订】Leveraging Applications of Formal Me... 60 元券 Engineering预订SoftwareMethods ¥460 0去看看 中国国际图书专营店发布了 【预订】Formal Methods and Software Engineering 60 元券 预售VerificationReactiveSystems ¥460 0去看看 中国国际图书专营店发布了 【预售】Verification of Reactive Systems: Formal Methods and 60 元券 预售InternationalAnalysisConcept ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Concept Analysis: 4th International 60 元券 预售InternationalServicesMethods ¥460 0去看看 中国国际图书专营店发布了 【预售】Web Services and Formal Methods: 6th International 60 元券 预售SystemsLinearSeries ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Power Series and Linear Systems of 60 元券 Integrated预订MethodsFormal ¥460 0去看看 中国国际图书专营店发布了 【预订】Integrated Formal Methods 60 元券 Engineering预订SoftwareFormal ¥460 0去看看 中国国际图书专营店发布了 【预订】Software Engineering and Formal Meth... 60 元券 预售EngineeringMethodsDriven ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Methods for Model-Driven Engineering: 12th 60 元券 预售InternationalDescriptionalConference ¥460 0去看看 中国国际图书专营店发布了 【预售】Descriptional Complexity of Formal Systems: 21st Ifip Wg 1.02 International Conference, Dcfs 2019, Kosice,... 60 元券 预售EngineeringFoundationsFormal ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Foundations of Reuse and Domain Engineering: 60 元券 预售ApproachesSoftwareTesting ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Approaches to Software Testing: Third 60 元券 预售IndustrialCriticalSystems ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Methods for Industrial Critical Systems: 16th 60 元券 预售OpportunitiesNavigatingLandscape ¥460 0去看看 中国国际图书专营店发布了 【预售】Navigating the Changing Landscape of Formal and Informal Science Learning Opportunities 60 元券 DescriptionalComplexity预订Formal ¥460 0去看看 中国国际图书专营店发布了 【预订】Descriptional Complexity of Formal S... 120 元券 预售SpecificationDevelopmentFormal ¥920 0去看看 中国国际图书专营店发布了 【预售】Zb 2003: Formal Specification and Development in Z 60 元券 预售AnalysisModelingFormal ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Modeling and Analysis of Time... 60 元券 预售IntegratedMethodsFormal ¥460 0去看看 中国国际图书专营店发布了 【预售】Integrated Formal Methods 60 元券 Component预订SoftwareAspects ¥460 0去看看 中国国际图书专营店发布了 【预订】Formal Aspects of Component Software... 60 元券 预订AnalysisConceptFormal ¥460 0去看看 中国国际图书专营店发布了 【预订】Formal Concept Analysis 60 元券 DescriptionalComplexity预订Systems ¥460 0去看看 中国国际图书专营店发布了 【预订】Descriptional Complexity of Formal Systems 60 元券 预售MethodsFormalNASA ¥460 0去看看 中国国际图书专营店发布了 【预售】NASA Formal Methods 60 元券 Foundations预订MethodsFormal ¥460 0去看看 中国国际图书专营店发布了 【预订】Formal Methods: Foundations and Appl... 60 元券 DistributedTechniques预订Formal ¥460 0去看看 中国国际图书专营店发布了 【预订】Formal Techniques for Distributed Ob... 60 元券 预售DistributedTechniquesSystems ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Techniques for Distributed Systems: Joint 120 元券 ApplicationsLeveraging预订Formal ¥920 0去看看 中国国际图书专营店发布了 【预订】Leveraging Applications of Formal Me... 60 元券 Introduction预订GrammarsFormal ¥460 0去看看 中国国际图书专营店发布了 【预订】Introduction to Formal Grammars 60 元券 预订AnalysisConceptFormal ¥460 0去看看 中国国际图书专营店发布了 【预订】Formal Concept Analysis 60 元券 预订AnalysisModelingFormal ¥460 0去看看 中国国际图书专营店发布了 【预订】Formal Modeling and Analysis of Time... 60 元券 预售ApplicationsLeveragingMethods ¥460 0去看看 中国国际图书专营店发布了 【预售】Leveraging Applications of Formal Methods 60 元券 预售SecurityAspectsFormal ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Aspects in Security and Trust 60 元券 预售InformationTheoriesShannon ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Theories of Information: From Shannon to 60 元券 预售InternationalServicesMethods ¥460 0去看看 中国国际图书专营店发布了 【预售】Web Services and Formal Methods: 5th International 60 元券 预售InternationalTeachingMethods ¥460 0去看看 中国国际图书专营店发布了 【预售】Teaching Formal Methods: Second International 60 元券 DescriptionalComplexity预订Systems ¥460 0去看看 中国国际图书专营店发布了 【预订】Descriptional Complexity of Formal Systems 60 元券 预订MethodsFormalNASA ¥460 0去看看 中国国际图书专营店发布了 【预订】NASA Formal Methods 60 元券 LogicT.预售Propositional ¥460 0去看看 中国国际图书专营店发布了 【预售】Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry 60 元券 预售ComponentsObjectsMethods ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Methods for Components and Objects: 9th 60 元券 预售VerificationApplicationsValidation ¥460 0去看看 中国国际图书专营店发布了 【预售】Leveraging Applications of Formal Methods, Verification and Validation. Modeling 60 元券 预售ApplicationsTheoryFormal ¥460 0去看看 中国国际图书专营店发布了 【预售】Theory and Applications of Formal Ar... 60 元券 预售VerificationApplicationsDistributed ¥460 0去看看 中国国际图书专营店发布了 【预售】Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 60 元券 预售IntegratedMethodsFormal ¥460 0去看看 中国国际图书专营店发布了 【预售】Integrated Formal Methods 60 元券 Component预订SoftwareAspects ¥460 0去看看 中国国际图书专营店发布了 【预订】Formal Aspects of Component Software 60 元券 预订GrammarFormal ¥460 0去看看 中国国际图书专营店发布了 【预订】Formal Grammar 60 元券 Component预订SoftwareAspects ¥460 0去看看 中国国际图书专营店发布了 【预订】Formal Aspects of Component Software 60 元券 EliminationAlgorithmic预订Formal ¥460 0去看看 中国国际图书专营店发布了 【预订】Formal Algorithmic Elimination for PDEs 60 元券 Integrated预订MethodsFormal ¥460 0去看看 中国国际图书专营店发布了 【预订】Integrated Formal Methods 60 元券 ApplicationsLeveraging预订Formal ¥460 0去看看 中国国际图书专营店发布了 【预订】Leveraging Applications of Formal Me... 60 元券 预订MethodsFormal2015 ¥460 0去看看 中国国际图书专营店发布了 【预订】FM 2015: Formal Methods 60 元券 预售CorrectnessProtocolsSecurity ¥460 0去看看 中国国际图书专营店发布了 【预售】Formal Correctness of Security Protocols