9780121229504 - computational logic de boyer, robert s.; moore, j. strother (1 resultados)
Más imágenes- Tapa dura
Librería: MB Books, Derbyshire, Reino UnidoMB Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 31,51
Envío por EUR 23,53Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Good. No Jacket. Condition : Good. Ex university library with associated markings. Hard cover, no jacket. 397pp. No highlighting or annotations. Scuff to spine as seen in image. Good condition is defined as : structurally sound, text clean, moderate external wear consistent with normal academic use. Still f…oundational to modern automated reasoning, A Computational Logic remains highly relevant today as formal verification, theorem proving, and provably correct software have become essential in AI, cybersecurity, and safety‑critical systems Photos on request.
