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

Verification

von: Swarat Chaudhuri · Azadeh Farzan

Taschenbuch

EAN=ISBN-13: 978-3-319-41527-7

ISBN-10: 3-319-41527-1

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