Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing Science) Book + PRICE WATCH * Amazon pricing is not included in price watch

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

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.Read More

from£N/A | RRP: £26.95
* Excludes Voucher Code Discount Also available Used from £N/A
  • 0138807337
  • 9780138807337
  • Cliff B. Jones
  • 1 January 1990
  • Prentice-Hall
  • Paperback (Book)
  • 350
  • 2nd Revised edition
As an Amazon Associate we earn from qualifying purchases. If you click through any of the links below and make a purchase we may earn a small commission (at no extra cost to you). Click here to learn more.

Would you like your name to appear with the review?

We will post your book review within a day or so as long as it meets our guidelines and terms and conditions. All reviews submitted become the licensed property of www.find-book.co.uk as written in our terms and conditions. None of your personal details will be passed on to any other third party.

All form fields are required.