Buy Used and New Geguang Pu Books

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

by Bernd Finkbeiner,Geguang Pu,Lijun Zhang

ISBN 13: 9783319249520

Format: Paperback (536 pages)
Publisher: Springer
Published: 30 Dec 2015

Save for later