Del 11781 - Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Häftad, Engelska, 2019
749 kr
Skickas inom 10-15 vardagar
Laddar lista