Chaudhuri, Swarat, Farzan, Azadeh
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II: 9780 (Lecture Notes in Computer Science, 9780)
- Availability
- To see availability please select your region.
- Books2Africa Collection
-
- Subjects
- Author(s)
- Published
- 14th July 2016
- Publisher
- Springer
- ISBN-10
- 3319415395
- ISBN-13
- 9783319415390
To reserve this book you first need to set your reservation location.