Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 : Proceedings (Lecture Notes in Computer Science)

G. Von Bochmann~D. K. Probst

ISBN 10: 0387564969 ISBN 13: 9780387564968
Editorial: Springer, 1994
Idioma: Inglés
Condición: Usado - Aceptable Encuadernación de tapa blanda

Vendido por Bookmans, Tucson, AZ, Estados Unidos de America

Vendedor de AbeBooks desde 30 de abril de 2007

Calificación del vendedor: 5 de 5 estrellas Valoración 5 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 - Aceptable

Precio:
EUR 34,00
EUR 3,42 gastos de envío en Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito