Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10981)

Weissenbacher

von: Hana Chockler · Georg Weissenbacher

Taschenbuch

ISBN-13: 978-3-319-96144-6

ISBN-10: 3-319-96144-6

Springer · 2018
Siehe auch:
2018TaschenbuchComputer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10982)