Paperback
Add to list Added to list Proof in VDM: A Practitioner’s Guide
Juan C. Bicarregui,John Fitzgerald,Peter A. Lindsay,Richard Moore,Brian Ritchie
It is therefore evident that another requirement - for the successful use of proof techniques in the development of systems from formal descriptions - is the availability of software tools…
Available to order, ships in 7-14 daysAvailable to order