Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings - Softcover

 
9783319249544: Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Softcover
ISBN 10: 3319249541 ISBN 13: 9783319249544
Publisher: Springer, 2016

This specific ISBN edition is currently not available.

Publisher
Springer
Publication date
2016
Language
English
ISBN 10 
3319249541
ISBN 13 
9783319249544
Binding
Paperback
Number of pages
536
Editor
Finkbeiner Bernd, Pu Geguang, Zhang Lijun

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  3319249525 ISBN 13:  9783319249520
Publisher: Springer, 2015
Softcover