Paperback
Add to list Added to list mural: A Formal Development Support System
C.B. Jones,K.D. Jones
Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented.
Available to order, ships in 7-14 daysAvailable to order