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

International

von: Hana Chockler · Georg Weissenbacher

Taschenbuch

ISBN: 978-3-319-96141-5

ISBN-10: 3-319-96141-1

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