by B. Ritchie A.C. (Contributor), C.B. Jones (Author)
Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented.
Format: Illustrated
Pages: 440
Edition: Softcover reprint of the original 1st ed. 1991
Publisher: Springer
Published: 04 Oct 2013
ISBN 10: 354019651X
ISBN 13: 9783540196518