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
Vendido por Bookmans, Tucson, AZ, Estados Unidos de America
Vendedor de AbeBooks desde 30 de abril de 2007
Usado - Encuadernación de tapa blanda
Condición: Usado - Aceptable
Cantidad disponible: 1 disponibles
Añadir al carrito