Items related to Computer Aided Verification: 3rd International Workshop,...

Computer Aided Verification: 3rd International Workshop, Cav 92 : Proceedings (Lecture Notes in Computer Science) - Softcover

 
9780387551791: Computer Aided Verification: 3rd International Workshop, Cav 92 : Proceedings (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387551794 ISBN 13: 9780387551791
  • ISBN 10 0387551794
  • ISBN 13 9780387551791
  • BindingPaperback
  • LanguageEnglish

Buy Used

Condition: Good
. Satisfaction 100% guaranteed
View this item
9780387551791: Computer Aided Verification: 3rd International Workshop, Cav 92 : Proceedings (Lecture Notes in Computer Science)
£ 32.64

Convert currency

£ 18.63 shipping from U.S.A. to United Kingdom

Destination, rates & speeds

Search results for Computer Aided Verification: 3rd International Workshop,...

Stock Image

Kim G. Larsen~A. Skou
Published by Springer, 1992
ISBN 10: 0387551794 ISBN 13: 9780387551791
Used Paperback

Seller: Bookmans, Tucson, AZ, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Good. . Satisfaction 100% guaranteed. Seller Inventory # mon0002461322

Contact seller

Buy Used

£ 32.64
Convert currency
Shipping: £ 18.63
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket