Formal Descriptions of Developing Systems

by James Nation

Book Overview

A cutting-edge survey of formal methods directed specifically at dealing with the deep mathematical problems engendered by the study of developing systems, in particular dealing with developing phase... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 1402015674
• ISBN13: 9781402015670
• Release Date: October 2003
• Publisher: Springer
• Length: 306 Pages
• Weight: 1.41 lbs.
• Dimensions: 0.9" x 6.3" x 10.0"