Program Verification: Fundamental Issues in Computer Science (Studies in Cognitive Systems, 14)

Colburn, Timothy T.R.; Fetzer, J.H.; Rankin, R.L.

ISBN 10: 0792319656 ISBN 13: 9780792319658
Published by Kluwer Academic Publishers, Dordrecht, Boston and London, 1993
Language: English
Condition: Used - Very good Hardcover

Sold by Smith Family Bookstore Downtown, Eugene, OR, U.S.A.

AbeBooks Seller since 13 February 2009

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

View this seller's items


Used - Hardcover

Condition: Used - Very good

Price:
£ 38.54
£ 4.45 shipping
Ships within U.S.A.

Quantity: 1 available

Add to basket