From Action Systems to Distributed Systems
Author | : Luigia Petre |
Publisher | : CRC Press |
Total Pages | : 302 |
Release | : 2016-04-27 |
ISBN-10 | : 9781498701594 |
ISBN-13 | : 1498701590 |
Rating | : 4/5 (590 Downloads) |
Book Synopsis From Action Systems to Distributed Systems by : Luigia Petre
Download or read book From Action Systems to Distributed Systems written by Luigia Petre and published by CRC Press. This book was released on 2016-04-27 with total page 302 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 that form our society's infrastructures are behaving according to their specifications. More recently, formal methods are also used to understand propert