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