Tools & Algorithms for the Construction & Analysis of Systems First International Workshop, TACAS '95, Aarhus, Denmark, May 1995, Selected Papers

Brinksma, E.; W.R.Cleaveland; K.G.Larsen; T.Margaria; B. Steffen (eds.)

Published by Springer, c.1995, 1995
Condition: Used - Very good Soft cover

Sold by Harry Alter, Sylva, NC, U.S.A.

Heritage Bookseller
AbeBooks Seller since 13 September 1998

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

View this seller's items


Used - Soft cover

Condition: Used - Very good

Price:
£ 15.39
£ 2.95 shipping
Ships within U.S.A.

Quantity: 1 available

Add to basket