Ebook: Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Author: Lahiri Shuvendu, Reger Giles
- Tags: Computer software -- Verification -- Congresses, Formal methods (Computer science) -- Congresses, Computer software -- Testing -- Congresses, Computer software -- Testing, Computer software -- Verification, Formal methods (Computer science)
- Series: Lecture notes in computer science 10548., LNCS sublibrary. SL 2 Programming and software engineering
- Year: 2017
- Publisher: Springer
- City: Seattle, Wash.)
- Language: English
- pdf
Download the book Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)