Picture 1 of 1

Stock photo
Stock photo
Verification, Model Checking, and Abstract Inte. Cortesi, Mukhopadhyay, D.<| - Picture 1 of 1

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings by Paul D. Attie, Agostino Cortesi, Lenore D. Zuck, Supratik Mukhopadhyay (Paperback, 2002)

Be the first towrite a review.
  • baham_books (2191070)
  • 99.1% positive Feedback
Price:
£113.59
Free postage
Estimated delivery Mon, 13 May - Thu, 16 May
Returns:
30 days return. Buyer pays for return postage.
Condition:
New
Title: Verification, Model Checking, and Abstract Interpretation: 4th I Item Condition: New. What can you expect depending on book condition?. Publisher: Springer ISBN 13: 9783540003489. Used-like N : The book pretty much look like a new book.