9780121229504 - computational logic von boyer, robert s.; moore, j. strother (1 Ergebnisse)
Weitere Bilder- Hardcover
Anbieter: MB Books, Derbyshire, Vereinigtes KönigreichMB Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 31,17
EUR 25,61 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: 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 fou…ndational 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.
