Formal什么牌子好,Formal哪里有卖? - 第55页 - 宝妈美购物网

全部>“Formal” 共2543个商品

预售 Specification Development Formal
【预售】Zb 2002: Formal Specification and Development in Z
￥514券后￥5480人已购买
优惠券￥34 领券购买 
International Industrial Fme Symposium
海外直订Fme '94: Industrial Benefit of Formal Methods: Second International Symposium of Fme '94:形式
￥993券后￥1,0330人已购买
优惠券￥40 领券购买 
Distributed Techniques Networked 预订
【预订】Formal Techniques for Networked and Distributed Systems - FORTE 2006
￥1,015券后￥1,0950人已购买
优惠券￥80 领券购买 
9783031197550 Applications Verification Leveraging
【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031197550
￥732券后￥7660人已购买
优惠券￥34 领券购买 
分布式 Distributed 基于对象
海外直订Formal Methods for Open Object-Based Distributed Systems IV: Ifip Tc6/Wg6.1. Fou 基于开放对象的分布式系统的
￥2,007券后￥2,0670人已购买
优惠券￥60 领券购买 
预订 Modeling Analysis Systems
【预订】Formal Modeling and Analysis of Timed Systems
￥514券后￥5480人已购买
优惠券￥34 领券购买 
Performance Stochastic Evaluation 预订
【预订】Formal Methods and Stochastic Models for Performance Evaluation
￥514券后￥5480人已购买
优惠券￥34 领券购买 
Distributed 预订 Methods Systems
【预订】Formal Methods for Open Object-Based Distributed Systems
￥514券后￥5480人已购买
优惠券￥34 领券购买 
Approaches 预订 Systems Formal
【预订】Formal Approaches to Agent-Based Systems
￥514券后￥5480人已购买
优惠券￥34 领券购买 
Performance Evaluation 预订 Methods
【预订】Formal Methods for Performance Evaluation
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 Simulation Synthesis Formal
【预售】VHDL for Simulation, Synthesis and Formal Proofs of
￥2,030券后￥2,1900人已购买
优惠券￥160 领券购买 
9781904987758 Foundations Sciences 印刷
按需印刷图书Foundations of the Formal Sciences[9781904987758]
￥312券后￥3420人已购买
优惠券￥30 领券购买 
Engineering Dedicated 预订 Software
【预订】From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the...
￥514券后￥5480人已购买
优惠券￥34 领券购买 
Esprit Modelage Selected 模型
海外直订Formal Models of Agents: Esprit Project Modelage Final Report Selected Papers 代理的正式模型：Esprit项目模
￥543券后￥5530人已购买
优惠券￥10 领券购买 
Performance Stochastic Evaluation 预订
【预订】Formal Methods and Stochastic Models for Performance Evaluation
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预订 Teaching Methods Formal
【预订】Teaching Formal Methods
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 Theoretic Automata Aspects
【预售】Automata-Theoretic Aspects of Formal Power Series
￥514券后￥5480人已购买
优惠券￥34 领券购买 
Engineering 预订 Software Methods
【预订】Formal Methods and Software Engineering
￥514券后￥5480人已购买
优惠券￥34 领券购买 
International 第三届 Web Services
海外直订Web Services and Formal Methods: Third International Workshop, Ws-FM 2006, Vienn Web服务和正式方法：第三届
￥543券后￥5530人已购买
优惠券￥10 领券购买 
预售 Modeling Analysis Systems
【预售】Formal Modeling and Analysis of Timed Systems:...
￥491券后￥5250人已购买
优惠券￥34 领券购买 
形式化模块化 Specification Engineering
海外直订Formal Specification Techniques for Engineering Modular C Programs 工程模块化C程序的形式化规格说明技术
￥1,510券后￥1,5500人已购买
优惠券￥40 领券购买 
Specification 9781852330026 预订 Formal
【预订】Formal Specification 9781852330026
￥514券后￥5480人已购买
优惠券￥34 领券购买 
9783540761587 Interaction 预订 Computer
【预订】Formal Methods in Human-Computer Interaction 9783540761587
￥514券后￥5480人已购买
优惠券￥34 领券购买 
Industrial 预订 Critical Methods
【预订】Formal Methods for Industrial Critical Systems
￥514券后￥5480人已购买
优惠券￥34 领券购买 
9789401012706 预订 Science Action
预订 Action Theory and Social Science: Some Formal Models: 9789401012706
￥1,015券后￥1,0950人已购买
优惠券￥80 领券购买 
Engineering 预订 Software Methods
【预订】Formal Methods and Software Engineering
￥514券后￥5480人已购买
优惠券￥34 领券购买 
分布式 Distributed 对象基于
海外直订Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 Intern 基于开放对象的分布式系统的
￥543券后￥5530人已购买
优惠券￥10 领券购买 
预订 Methods Formal 2006
【预订】FM 2006: Formal Methods
￥1,015券后￥1,0950人已购买
优惠券￥80 领券购买 
Components 预订 Methods Objects
【预订】Formal Methods for Components and Objects
￥470券后￥5040人已购买
优惠券￥34 领券购买 
预订 Services Methods Formal
【预订】Web Services and Formal Methods
￥514券后￥5480人已购买
优惠券￥34 领券购买 
Verification 预订 Hardware Formal
【预订】Formal Hardware Verification
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预订 Computer Methods Formal
【预订】Formal Methods in Computer-Aided Design
￥514券后￥5480人已购买
优惠券￥34 领券购买 
Specification Synthesis 预订 Formal
【预订】Formal Specification and Synthesis o...
￥514券后￥5480人已购买
优惠券￥34 领券购买 
中商形式 Formal 英文
形式方法的工业应用形式验证 Industrial Used Of Formal Method Formal Verification 英文原版 Jean Louis Boulanger 中商
￥424券后￥4340人已购买
优惠券￥10 领券购买 
形式化方法 2019 International Workshops
海外直订Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 形式化方法。FM 2019国际
￥524券后￥5340人已购买
优惠券￥10 领券购买 
形式化 Specification Verification 实时
海外直订Real-Time Systems: Formal Specification and Automatic Verification 实时系统：形式化规范和自动验证
￥1,020券后￥1,0600人已购买
优惠券￥40 领券购买 
喀麦隆非正规视觉艺术 1976
海外直订Visual Arts in Cameroon. A Genealogy of Non-formal Training 1976-2014 喀麦隆的视觉艺术。1976-2014年非正规培
￥871.9券后￥901.90人已购买
优惠券￥30 领券购买 
形式化方法软件工程建模 Engineering
海外直订Domain Modeling-Based Software Engineering: A Formal Approach 基于领域建模的软件工程：一种形式化方法
￥2,007券后￥2,0670人已购买
优惠券￥60 领券购买 
Descriptional 9783642316227 Complexity 预订
【预订】Descriptional Complexity of Formal Systems 9783642316227
￥514券后￥5480人已购买
优惠券￥34 领券购买 
语义 Java 语法 Semantics
海外直订Formal Syntax and Semantics of Java Java的形式语法和语义
￥543券后￥5530人已购买
优惠券￥10 领券购买 

上一页 1 ... 53 54 55 56 57 ... 64 下一页