Picture 1 of 1

Stock photo
Stock photo
Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, - Picture 1 of 1

Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings by Sriram K. Rajamani, Kousha Etessami (Paperback, 2005)

Be the first towrite a review.
  • The Nile UK Shop (23640)
  • 98.3% positive Feedback
Price:
£122.49
Free postage
Estimated delivery Tue, 2 Jul - Tue, 16 Jul
Returns:
30 days return. Buyer pays for return postage.
Condition:
New
Subtitle 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings. Invited Talks. - Randomized Algorithms for Program Analysis and Verification. - Validating a Modern Microprocessor.