1
High-Integrity System Specification and Design

High-Integrity System Specification and Design

ปี:
1999
ภาษา:
english
ไฟล์:
PDF, 17.04 MB
0 / 0
english, 1999
2
Industrial-Strength Formal Methods in Practice

Industrial-Strength Formal Methods in Practice

ปี:
1999
ภาษา:
english
ไฟล์:
PDF, 41.80 MB
0 / 0
english, 1999