ISBN 9783540733676,Computer Aided Verification

Computer Aided Verification

Rs7749

Availability: Out of Stock

(Free Delivery)

We Accept
ISBN 9783540733676
Check delivery information
 
ISBN 9783540733676
Publisher

Ingram Publisher Services

Publication Year 2007
ISBN-13

ISBN 9783540733676

ISBN-10 3540733671
Binding

Paperback

Number of Pages 584 Pages
Subject

Computer science

Constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification. This title addresses the issues in computer aided verification and model checking - from foundational and methodological issues to the evaluation of major tools and systems.

More from Author

Scroll