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 11428)

von: Tomáš Vojnar · Lijun Zhang

Taschenbuch

EAN=ISBN-13: 978-3-030-17464-4

ISBN-10: 3-030-17464-6

Springer · April 2019

Siehe auch:
2019	Taschenbuch	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)