A Theory and Practice of Program Development

By Derek J. Andrews

A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540761624
• ISBN13: 9783540761624
• Release Date: July 1997
• Publisher: Springer
• Length: 405 Pages
• Weight: 1.46 lbs.
• Dimensions: 1.0" x 6.2" x 9.3"