Languages预订TrendsFormal
9783030908690预订MethodsFormal
自动机ApplicationsPropertiesAutomata
2009Methods海外正式
分布式Distributed基于对象
ReasoningCognitive预订Approach
奥勒Orientation面向对象
9783540410553Techniques预订Tolerant
分布式DistributedTechniquesNetworked
9783642084775IntroductionVerification预订
预售ApproachHardwareFormal
软件工程EngineeringCollocatedWorkshops
International组件ComponentSymposium
9783739241241VerificationConcurrentEmbedded
ApplicationsFoundationsBrazilianSymposium
Foundations预订MethodsFormal
CombinatoricsCooperationLanguages形式
Methods形式化方法软件工程Engineering
Components预订MethodsObjects
预售DistributedTechniquesSystems
预售ProgrammingPracticalFormal
形式化Forte分布式2001
FormalApplicationsFoundationsBrazilian
Specifications9783836422949FinancialModeling
ComponentsMethodsObjects海外
Formal软件工程International第四届
预售ComplaintBill'sFormal
Manufacturing9781466640344印刷Methods
建模International定时Conference
结构化InternationalStructuredOriented
InternationalComponents组件Symposium
形式化方法软件工程SefmEngineering
InternationalWebServicesWorkshop
形式化建模计时International
形式逻辑反证Disproof证明
形式化Techniques海外数据库
9781466620926LanguagesPracticalSpecific
预售MethodsFormalYears
MethodsFormal2006International
