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.)

Editorial: Springer, c.1995, 1995
Condición: Usado - Bueno Encuadernación de tapa blanda

Vendido por Harry Alter, Sylva, NC, Estados Unidos de America

Vendedor de AbeBooks desde 13 de septiembre de 1998

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Ver los artículos de este vendedor


Usado - Encuadernación de tapa blanda

Condición: Usado - Bueno

Precio:
EUR 17,73
EUR 3,40 gastos de envío en Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito