Formal Methods and Object Technology

By S.J. Goldsack

Rationale Software engineering aims to develop software by using approaches which en- able large and complex program suites to be developed in a systematic way. However, it is well known that it is... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540199772
• ISBN13: 9783540199779
• Release Date: April 1996
• Publisher: Springer
• Length: 368 Pages
• Weight: 1.19 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"