Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
19 223
Ft
This book constitutes the proceedings of the 13th International Symposium on Automated Technology fo...