Computer Aided Verification: 17th International Conference, Cav 2005, Edinburgh,Good Used Trade paperback