Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings - Lecture Notes in Computer Science - Tevfik Bultan - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642243714 - September 21, 2011
In case cover and title do not match, the title is correct

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

Tevfik Bultan

Price
A$ 102.49

Ordered from remote warehouse

Expected delivery Mar 19 - Apr 1

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

Constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. This book includes the papers addressing theoretical and practical aspects of automated analysis, verification and synthesis.

548 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 21, 2011
ISBN13 9783642243714
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 532
Dimensions 155 × 235 × 30 mm   ·   771 g
Language French  
Editor Bultan, Tevfik
Editor Hsiung, Pao-Ann

See all of Tevfik Bultan ( e.g. Paperback Book and Hardcover Book )