From Action Systems to Distributed Systems: The Refinement Approach

Book Overview

Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0367574853
• ISBN13: 9780367574857
• Release Date: June 2020
• Publisher: CRC Press
• Length: 284 Pages
• Weight: 1.23 lbs.
• Dimensions: 0.7" x 7.0" x 9.8"