Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Lecture Notes in Computer Science Book 10426)

ISBN-13: 9783319633879

ISBN-10: 3319633872

Author: Rupak Majumdar

Edition: 1st ed. 2017

Binding: Kindle Edition

Publisher: Springer

Published: 2017

Sell this book           Buy or Rent?