Buy Used and New TevfikBultan Books

Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings: 6996 (Lecture Notes in Computer Science)

by Tevfik Bultan, Pao-Ann Hsiung

ISBN 13: 9783642243714

Format: Paperback (548 pages)
Publisher: Springer
Published: 21 Sep 2011

Save for later