Formal Applications and Methods 9783031198489 Validati 预订 Leveraging Verification
券后¥1035
最近售0件
Software Verification Engineering and 预售 Validation
券后¥1035
最近售0件
Point 预订 Hardware Floating Approach Verification Mathematical Formal Design
券后¥1035
最近售0件
4
Higher Order Verification Logic Hardware 预售 and
40元
券后¥347¥347.00
5
International Runtime Verification 预售 Second
70元
券后¥608¥608.00
6
Hardware and 5th Software Testing 预售 Verification
70元
券后¥608¥608.00
7
Computer Aided 11th International 预售 Verification
70元
券后¥608¥608.00
8
Facial Kinship Machi... 预订 Verification
70元
券后¥608¥608.00
9
Automated Technology Analysis for and 预售 Verification
70元
券后¥608¥608.00
10
Runtime Verification 8th Workshop 预售 International
70元
券后¥608¥608.00
11
Runtime Verification 9th Workshop 预售 International
70元
券后¥608¥608.00
12
Verification and Compu... 预订 Evaluation
70元
券后¥608¥608.00
13
Verification Model and Abstract 预售 Checking
70元
券后¥608¥608.00
14
Specification and Open Verification Declarative 预售
70元
券后¥608¥608.00
15
Empirical Software and Verification 预售 Engineering
70元
券后¥608¥608.00
16
Verification Model and Abstract 预售 Checking
70元
券后¥608¥608.00
17
Automated Technology Analysis for and 预售 Verification
70元
券后¥608¥608.00
18
Computer Aided 24th International 预售 Verification
70元
券后¥608¥608.00
19
Verification Model and Ab... 预订 Checking
70元
券后¥608¥608.00
20
Verification Model and Abstract 预售 Checking
70元
券后¥608¥608.00
21
Software Verification Integrated and 预售 Analysis
70元
券后¥608¥608.00
22
Verification Model and Abstract 预售 Checking
70元
券后¥608¥608.00
23
Order Methods for Partial Verification 预售 the
70元
券后¥608¥608.00
24
预订 Computer Verification Aided
70元
券后¥608¥608.00
25
and Reactive Systems Verification Methods 预售 Formal
70元
券后¥608¥608.00
26
预订 Verification Software
70元
券后¥608¥608.00
27
Rep... Home Networks for Mobile Based Detection Verification 预售 and System Sensor Anomaly Softcover Agent Smart
70元
券后¥608¥608.00
28
Hardware and Verification Testing 预售 Software
70元
券后¥608¥608.00
29
International Runtime Verification 预售 Third
70元
券后¥608¥608.00
30
Analysis Verification Induction 预售 Termination
70元
券后¥608¥608.00
31
Internati... Runtime Verification 预订 17th
70元
券后¥608¥608.00
32
Verification Model and Ab... 预订 Checking
70元
券后¥608¥608.00
33
Computer Aided 23rd International 预售 Verification
70元
券后¥608¥608.00
34
Formal Applications and Methods Modeling Validation. 预售 Leveraging Verification
70元
券后¥608¥608.00
35
预订 Computer Verification Aided
70元
券后¥608¥608.00
36
Automated Technology Analysis for and 预售 Verification
70元
券后¥608¥608.00
37
Verification Model and Ab... 预订 Checking
70元
券后¥608¥608.00
38
Computer Aided 29th In... 预订 Verification
70元
券后¥608¥608.00
39
预售 Computer Verification Aided
70元
券后¥608¥608.00
40
Verification Rules Programs 预订 Business
70元
券后¥608¥608.00