1
High-Integrity System Specification and Design

High-Integrity System Specification and Design

Έτος:
1999
Γλώσσα:
english
Αρχείο:
PDF, 17.04 MB
0 / 0
english, 1999
2
子宫颈细胞病理学诊断图谱 第2版

子宫颈细胞病理学诊断图谱 第2版

Έτος:
2013
Γλώσσα:
Chinese
Αρχείο:
PDF, 41.76 MB
0 / 0
Chinese, 2013
3
Industrial-Strength Formal Methods in Practice

Industrial-Strength Formal Methods in Practice

Έτος:
1999
Γλώσσα:
english
Αρχείο:
PDF, 41.80 MB
0 / 0
english, 1999
4
Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994

Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994

Έτος:
1994
Γλώσσα:
english
Αρχείο:
PDF, 12.43 MB
0 / 0
english, 1994