Real-Time Systems: Formal Specification and Automatic Verification

E.-R. Olderog

ISBN 10: 0521883334 ISBN 13: 9780521883337
Published by Cambridge University Press, 2008
Language: English
Used Condition: very good Hardcover

From medimops, Berlin, Germany

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

AbeBooks Seller since 10 May 2010

View this seller's items


Used - Hardcover

Price: £ 7.43 Convert Currency
£ 7.57 shipping from Germany to U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket