Yazar: R.L. Rankin

Destek

1 Ebooks tarafından 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
İngilizce
DRM
€321.83