Del 9364 - Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Häftad, Engelska, 2015
749 kr
Skickas inom 10-15 vardagar
Laddar lista