Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)

Bradfield, J.C.

ISBN 10: 0817636250 ISBN 13: 9780817636258
Published by Birkhäuser 07.02.1992., 1992
Language: English
Condition: Used - Very good Hardcover

Sold by NEPO UG, Rüsselsheim am Main, Germany

AbeBooks Seller since November 15, 2018

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

View this seller's items


Used - Hardcover

Condition: Used - Very good

Price: US$ 29.74 Convert Currency
US$ 28.38 shipping from Germany to U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket