Moore j strother editor (1 resultados)
Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, 4)
Kaufmann, Matt [Editor]; Manolios, Panagiotis [Editor]; Moore, J Strother [Editor];
- Tapa dura
Librería: Symposia Community Bookstore INC, Hoboken, NJ, Estados Unidos de AmericaSymposia Community Bookstore INC
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Bueno
EUR 127,38
Envío por EUR 4,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
hardcover. Condición: Very Good. Clean, unmarked pages, except name inside.
