Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Lecture Notes in Computer Science Book 9364)

ISBN-13: 9783319249537

ISBN-10: 3319249533

Author: Bernd Finkbeiner

Edition: 1st ed. 2015

Binding: Kindle Edition

Publisher: Springer

Published: 2015

Sell this book           Buy or Rent?