3030034267

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium eBooks & eLearning

Posted by nebulae at May 13, 2019

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium

Tiziana Margaria, "Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium"
English | ISBN: 3030034267 | 2018 | 530 pages | EPUB, PDF | 26 MB + 32 MB