Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings (Lecture Notes in Computer Science (11781), Band 11781)

von: Yu-Fang Chen · Chih-Hong Cheng · Javier Esparza Taschenbuch Details (Deutschland) (siehe auch: Kindle Ausgabe) Details (USA) (siehe auch: eBook (Kindle)) Details (Großbritannien) (siehe auch: eBook (Kindle)) EAN=ISBN-13: 978-3-030-31783-6 ISBN-10: 3-030-31783-8 Springer · Oktober 2019