Picture 1 of 1

Stock photo
Stock photo
Etessami - Computer Aided Verification 17th International Conference - J555z - 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.
  • iHaveit (67561)
  • 98.9% positive Feedback
Price:
£91.86
Free postage
Estimated delivery Thu, 16 May - Tue, 21 May
Returns:
30 days return. Buyer pays for return postage.
Condition:
New
The Title is Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings. If we have resources available we will share images. Hours of Service.