Automated Technology for Verification and Analysis: 14th International Symposium | Kaicus Deutschland

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

53.49 EUR

ISBN: 3319465198
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen