Search results for ‘Juan C. Bicarregui,John Fitzgerald,Peter A. Lindsay,Richard Moore,Brian Ritchie’

Filter & Refine

      Cover image for Proof in VDM: A Practitioner's Guide
      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…

      $138.99

      Available to order, ships in 7-14 daysAvailable to order