Articles liés à Computational Logic
Résultats de recherche pour Computational Logic
Image fournie par le vendeur
A Computational Logic (ACM Monograph Series 1979)
Edité par
Academic Press Inc. (ACM Monograph Series), 1979
ISBN 10 : 0121229505
ISBN 13 : 9780121229504
Ancien ou d'occasion
Couverture rigide
Vendeur : MB Books, Derbyshire, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : 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. N° de réf. du vendeur 944998
Acheter D'occasion
EUR 31,25
Expédition à EUR 25,67
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)