Home > Store

Systematic Software Development Using VDM, 2nd Edition

View Larger Image

Systematic Software Development Using VDM, 2nd Edition

Register your product to gain access to bonus material or receive a coupon.

Systematic Software Development Using VDM, 2nd Edition

Book

  • Sorry, this book is no longer in print.
Not for Sale

Description

  • Copyright 1990
  • Dimensions: 7 X 9 1/4
  • Pages: 350
  • Edition: 2nd
  • Book
  • ISBN-10: 0-13-880733-7
  • ISBN-13: 978-0-13-880733-7

A practical guide to software development using the Vienna Development Method (VDM), a mathematically based technique for formal specifications and rigorous correctness arguments. For advanced courses in programming style. (vs. Jones, Gries).

Updates

Submit Errata

More Information

InformIT Promotional Mailings & Special Offers

I would like to receive exclusive offers and hear about products from InformIT and its family of brands. I can unsubscribe at any time.


Other Things You Might Like

Understanding Software Dynamics

Understanding Software Dynamics

Understanding Software Dynamics

Understanding Software Dynamics

Inside the Android OS: Building, Customizing, Managing and Operating Android System Services

Inside the Android OS: Building, Customizing, Managing and Operating Android System Services