1 电子书 R.L. Rankin
Timothy T.R. Colburn & J.H. Fetzer: Program Verification
Among the most important problems confronting computer science is that of developing a paradigm appropriate to the discipline. Proponents of formal methods – such as John Mc Carthy, C.A.R. Hoare, and …
PDF
英语
DRM
€317.59
