Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
Download or Read eBook Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems PDF written by Tiziana Margaria and published by Springer Nature. This book was released on with total page 381 pages. Available in PDF, EPUB and Kindle.
| Author | : Tiziana Margaria |
| Publisher | : Springer Nature |
| Total Pages | : 381 |
| Release | : |
| ISBN-10 | : 9783031751073 |
| ISBN-13 | : 3031751078 |
| Rating | : 4/5 (73 Downloads) |
Book Synopsis Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems by : Tiziana Margaria
Book excerpt:
