Anbieter: MB Books, Derbyshire, Vereinigtes Königreich
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 foundational 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. Bestandsnummer des Verkäufers 944998
Anzahl: 1 verfügbar