海外直订Casl Common Manual Introduction Specification Casl用户手册：通用代数规范 Langu the Algebraic User Using
券后¥553
最近售0件
Specification International and First 海外直订医药图书Zb Development Formal 200 2000
券后¥553
最近售0件
Verification 实时系统 规范和组成验证 Systems Compositional Time Real and 海外直订Specification
券后¥553
最近售0件
4
海外直订Interactive International Design Specification 设计 第 规范和验证 7th 互动系统 Systems. Verification and
50元
券后¥553¥553.00
5
Systems Concurrent Verification 规范与验证 并发系统 and 海外直订Specification
50元
券后¥553¥553.00
6
多输出生产函数 Multiple 描述与估计 Functions Estimation Production Output and 海外直订Specification
50元
券后¥553¥553.00
7
Specification International Conf and 2nd 海外直订Zb Development Formal 2002：Z和 2002
50元
券后¥553¥553.00
8
Data Abst Workshop 数据类型规范 Type 海外直订Recent Specification 10th 趋势：第 Trends 最新
50元
券后¥553¥553.00
9
海外直订Interactive International Design Specification 系统 规范和验 设计 13th 交互式 Systems. Verification and
50元
券后¥553¥553.00
10
海外直订Specification Development Interfac 规范和开发：关注 交互系统 Focus Streams and Systems Interactive
50元
券后¥553¥553.00
11
互动系统 12th Verification 设计规范和验证 International Design 海外直订Interactive Systems. Specification and
50元
券后¥553¥553.00
12
海外直订Interactive International Design Specification 系统 规范和验 设计 9th 交互式 Systems Verification and
50元
券后¥553¥553.00
13
海外直订B Formal Specification International 2007年1月7日至 Conference 7th 2007 Development and
50元
券后¥553¥553.00
14
海外直订Specification Kokichi and Software 规范 专为Koki 代数和软件 Futatsugi Algebra Dedicated Essays
50元
券后¥553¥553.00
15
and 硬件规格 Synthesis 验证和综合：数学 Mathem Verification Aspects Mathematical Specification 海外直订Hardware
50元
券后¥553¥553.00
16
the Proceedings 规范语言语义学 International Specification 规范语言语 海外直订Semantics Languages Sosl
50元
券后¥553¥553.00
17
互动系统 10th Verification 设计 International Design 规范和验证 海外直订Interactive Systems. Specification and
50元
券后¥553¥553.00
18
Conference Zum Formal The Specification 10th Notation International 海外直订Zum Z正
50元
券后¥553¥553.00
19
Data Abs Workshop 数据类型规范 Type 海外直订Recent Specification Fifth 趋势：关 Trends 最新
50元
券后¥553¥553.00
20
Data Abstr Workshop 数据类型规范 Type 海外直订Recent Specification 8th 趋势：第 Trends 最新
50元
券后¥553¥553.00
21
Mosses Essays Algebraic Dedicated Peter 海外直订Semantics 语义学与代数规范：彼得·D· and Specification
50元
券后¥553¥553.00
22
The 形式 Rpc 化系统规范：Rpc内存规范案例研究 Study Specification Case Memory Systems 海外直订Formal
50元
券后¥553¥553.00
23
Engineering Applications for 工程应用软件规范技术 Software 集成 海外直订Integration Specification Techniques
50元
券后¥553¥553.00
24
Data Abstr Workshop 数据类型规范 Type 海外直订Recent Specification 9th 趋势：第 Trends 最新
50元
券后¥553¥553.00
25
代数系统规范与开发 海外直订Algebraic Specification System and Development
50元
券后¥553¥553.00
26
海外直订Interactive International Design Specification 设计 规范和验证 8th 交互系统 Systems Verification and
50元
券后¥553¥553.00
27
Data Abstr Workshop 数据类型规范 Type 海外直订Recent Specification 7th 趋势：第 Trends 最新
50元
券后¥553¥553.00
28
Specification 3rd 数据类型规范 最新 趋势：第 Theory 海外直订Recent Data Workshop Application Type Trends and
50元
券后¥553¥553.00
29
海外直订Specification Development Interfac 规范和开发：关注 交互系统 Focus Streams and Systems Interactive
50元
券后¥553¥553.00
30
设计 1995年交互系统 and Interactive Systems Proceedings 海外直订Design 规范 Specification Verification
50元
券后¥553¥553.00
31
Data Abst Workshop 数据类型规范 Type 海外直订Recent Specification 11th 趋势：第 Trends 最新
50元
券后¥553¥553.00
32
Specification Systems 海外直订Algebraic 代数基础 Foundations 系统规范
50元
券后¥553¥553.00