R.D. Moore – författare
Visar alla böcker från författaren R.D. Moore. Handla med fri frakt och snabb leverans.
2 produkter
mural: A Formal Development Support System
Av R.D. Moore, Peter Lindsay m. fl.
E-bok, 2012
755 kr
Lägg i varukorg
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 the applications of formal methods in the main to defence and safety-critical applications. The mural …
mural: A Formal Development Support System
Av C.B. Jones, K.D. Jones m. fl.
Häftad, 1991
567 kr
Lägg i varukorg
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 the applications of formal methods in the main to defence and safety-critical applications. The mural …
