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

Verification

von: Swarat Chaudhuri · Azadeh Farzan

Taschenbuch

ISBN-13: 978-3-319-41539-0

ISBN-10: 3-319-41539-5

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
2016PaperbackComputer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II