Ebook: Leveraging applications of formal methods, verification and validation
Author: Tiziana Margaria-Steffen, Bernhard Steffen
- Series: Communications in computer and information science no. 17
- Year: 2008
- Publisher: Springer
- City: Berlin
- Language: English
- pdf
Download the book Leveraging applications of formal methods, verification and validation for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)