Systems and Software Verification

B. Berard|M. Bidoit|A. Finkel|F. Laroussinie|A. Petit|L. Petrucci|P. Schnoebelen

ISBN 10: 3540415238 ISBN 13: 9783540415237
Published by Springer Berlin Heidelberg, 2001
Language: English
Condition: New Hardcover

Sold by moluna, Greven, Germany

AbeBooks Seller since 9 July 2020

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

View this seller's items


New - Hardcover

Condition: New

Price:
£ 114.59
£ 42.45 shipping
Ships from Germany to U.S.A.

Quantity: Over 20 available

Add to basket