From Action Systems to Distributed Systems
| Author | : Luigia Petre |
| Publisher | : Chapman and Hall/CRC |
| Total Pages | : 0 |
| Release | : 2016-02-15 |
| ISBN-13 | : 1498701582 |
| ISBN-10 | : 9781498701587 |
| Rating | : 4/5 (87 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 Chapman and Hall/CRC. This book was released on 2016-02-15 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book addresses the impact of the "Action Systems" formal method in Computer Science research. Formal Methods in general address the question of transforming software engineering into a mature engineering discipline.
