ISBN 9783540883869,Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Rs6742

Availability: Out of Stock

(Free Delivery)

We Accept
ISBN 9783540883869
Check delivery information
 
ISBN 9783540883869
Publisher

Ingram Publisher Services

Publication Year 2008
ISBN-13

ISBN 9783540883869

ISBN-10 354088386X
Binding

Paperback

Number of Pages 450 Pages
Subject

Computer networking & communications

Constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. This book presents the papers that are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, and theory.
Scroll