ISBN 9783540755951,Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Rs5208 Rs7439 30% OFF

Availability: Out of Stock

(Free Delivery)

We Accept
ISBN 9783540755951
Check delivery information
Publisher

Ingram Publisher Services

Publication Year 2007
ISBN-13

ISBN 9783540755951

ISBN-10 3540755950
Binding

Paperback

Number of Pages 586 Pages
Subject

Computer-aided design (CAD)

Constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007, held in Tokyo, Japan, October 22-25, 2007. This book presents 29 revised full papers together with 7 short papers that were reviewed and selected from 88 submissions.
Scroll