Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing Science)

by Cliff B . Jones (Author), Cliff B . Jones (Author)

• Used

  Paperback
  1990

  $3.31

  A practical guide to software development using DVM, a mathematically based technique for formal specification and correctness reasoning. This edition uses BSI (draft) standard VDM notation, emphasizes the formal approach to specification and design and explains formal proofs for data types.

• Used

  Paperback
  1986

  $3.31