ISBN 9783540755951,Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Rs5425 Rs7749 30% OFF

Availability: Available

Usually ships in: 2-3 business days

(Free Delivery)

We Accept
ISBN 9783540755951
Check delivery information
 
ISBN 9783540755951
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