Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

Binding:
Paperback
Number of Pages:
579
ISBN:
9783540272311
Product Group:
book
Publisher:
Springer
Publication Date:
June 24, 2005
BooksForGeeks.com ID:
8273

Buy Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) from Amazon »

Reviews for Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

  1. There are currently no reviews

    Why not be the first to post a review?

CATEGORIES

Our Network

BooksForGeeks.com is a participant in the Amazon Europe S.à r.l. Associates Programme, an affiliate advertising programme designed to provide a means for sites to earn advertising fees by advertising and linking to amazon.co.uk