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. Artikel-Nr. 944998
Anzahl: 1 verfügbar