From Action Systems to Distributed Systems
Download or Read eBook From Action Systems to Distributed Systems PDF 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.
| Author | : Luigia Petre |
| Publisher | : CRC Press |
| Total Pages | : 302 |
| Release | : 2016-04-27 |
| ISBN-10 | : 9781498701594 |
| ISBN-13 | : 1498701590 |
| Rating | : 4/5 (94 Downloads) |
Book Synopsis From Action Systems to Distributed Systems by : Luigia Petre
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
