Computational Logic - Couverture rigide

Boyer, Robert S.; Moore, J. Strother

Couverture rigide

ISBN 10 : 0121229505 ISBN 13 : 9780121229504

Editeur : Academic Press Inc, 1979

Afficher les exemplaires de cette �dition comportant l'ISBN

1 D'occasion

De EUR 31,30

0 Neuf

D�tails de l'�dition

�diteur: Academic Press Inc
Date d'�dition: 1979
Langue: anglais
ISBN 10: 0121229505
ISBN 13: 9780121229504
Reliure: Reli�
Nombre de pages: 411
Coordonn�es du fabricant: non disponible
Personne responsable: Yeepin GmbH
492000000000
sunshine12232@outlook.com

Alleestr.11
Kaiserslautern
Rheinland-Pfalz
67655
Allemagne

Autres �ditions populaires du m�me titre

Edition pr�sent�e

ISBN 10 : 1483236528 ISBN 13 : 9781483236520
Editeur : Academic Press, 2014
Couverture souple

R�sultats de recherche pour Computational Logic

Image fournie par le vendeur

A Computational Logic (ACM Monograph Series 1979)

Robert S. Boyer; J. Strother Moore

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

Contacter le vendeur

Acheter D'occasion

EUR 31,30

Exp�dition �EUR 23,38
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier