Computer Aided Verification
Subtitle: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings (Lecture Notes in Computer Science)
Contributors: Gerard Berry (Editor); Hubert Comon (Editor); Alain Finkel (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 24, 2001
Language: eng
Format: Paperback
Number of pages: 520
ISBN-13: 9783540423454
Subjects: Computer Programming; Data capture & analysis; Systems analysis & design; General; Software Quality Control; Computers; Computers - General Information; Computer Books: General; Programming - Systems Analysis & Design; Logic Design; Artificial Intelligence - General; Computers / Artificial Intelligence; Computers / Logic Design; Computers-Logic Design; Medical-General; Programming - Software Development