Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
Author | : Tiziana Margaria |
Publisher | : Springer Nature |
Total Pages | : 219 |
Release | : |
ISBN-13 | : 9783031753909 |
ISBN-10 | : 3031753909 |
Rating | : 4/5 (09 Downloads) |
Book Synopsis Leveraging Applications of Formal Methods, Verification and Validation. Application Areas by : Tiziana Margaria
Download or read book Leveraging Applications of Formal Methods, Verification and Validation. Application Areas written by Tiziana Margaria and published by Springer Nature. This book was released on with total page 219 pages. Available in PDF, EPUB and Kindle. Book excerpt: