FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science, 4085, Band 4085) Misra, Jayadev; Nipkow, Tobias and Sekerinski, Emil

Misra, Jayadev; Nipkow, Tobias and Sekerinski, Emil

ISBN 10: 3540372156 ISBN 13: 9783540372158
Published by Springer Berlin, 2006
Language: English
Condition: Used - Very good Soft cover

Sold by BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Germany

AbeBooks Seller since 14 July 2011

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

View this seller's items


Used - Soft cover

Condition: Used - Very good

Price:
£ 159.21
£ 34.33 shipping
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket