1 Ebooks door 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
Engels
DRM
€317.59
