ISBN 9783540733676,Computer Aided Verification

Computer Aided Verification

Rs7439

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.
Scroll