Yazar: C. B. Jones

Destek

5 Ebooks tarafından C. B. Jones

C.B. Jones & K.D. Jones: mural: A Formal Development Support System
Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented. The complexity and time-consuming nature of such proofs have limited t …
PDF
İngilizce
DRM
€57.46