作者: Clive L.N. Ruggles

支持

1 电子书 Clive L.N. Ruggles

Clive L.N. Ruggles: Formal Methods in Standards
3. 1 What are formal methods? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 3. 2 A survey of formal methods . . . . . . . . . . …
PDF
英语
DRM
€57.77