Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint ... Notes in Computer Science, Band 11427)

von: Tomáš Vojnar · Lijun Zhang Taschenbuch Details (Deutschland) (siehe auch: Kindle Ausgabe · Kindle Ausgabe) Details (Vereinigte Staaten) (siehe auch: eBook (Kindle) · eBook (Kindle)) Details (Großbritannien) (siehe auch: eBook (Kindle) · eBook (Kindle)) ISBN: 978-3-030-17461-3 ISBN-10: 3-030-17461-1 Springer · April 2019