Formal Methods for Components and Objects

By Susanne Graf, Frank S. de Boer, Marcello M. Bonsangue

All modern industries rely on large and complex software systems. In order toconstruct such large systems in a systematic manner, the focus of the developmentmethodologies has switched in the last two... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3642170706
• ISBN13: 9783642170706
• Release Date: January 2011
• Publisher: Springer
• Length: 339 Pages
• Weight: 1.10 lbs.
• Dimensions: 0.6" x 6.1" x 9.3"