Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

von: Swarat Chaudhuri · Azadeh Farzan

Taschenbuch

ISBN: 978-3-319-41541-3

ISBN-10: 3-319-41541-7

Springer · 2016

Siehe auch:
2016TaschenbuchComputer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Lecture Notes in Computer Science, Band 9779)
2016PaperbackComputer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
2016TaschenbuchComputer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science, Band 9780)