Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings (Lecture Notes in Computer Science, 10482)

ISBN-13: 9783319681665

ISBN-10: 3319681664

Edition: 1st ed. 2017

Binding: Paperback

Publisher: Springer

Published: 2017-10-04

Sell this book           Buy or Rent?