This text presents the formal concepts underlying Computer Science. It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog. The treatment of computability with Automata and Formal Languages stands out in several ways: �it emphasizes the algorithmic nature of the proofs and the reliance on simulations; �it stresses the centrality of nondeterminism in generative models and the relationship to deterministic recognition models The style is appropriate for both undergraduate and graduate classes.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Textbooks_Source is committed to selling new and used books for less money. We offer fast shipping & handling and dedicated customer service support to ensure that you have a great experience as our customer. Thank you for shopping with us!

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

TXTB.com, LLC
2711 W. Ash St., Columbia, MO, 65203, U.S.A.

Conditions de vente :

We guarantee the condition of every book as it’s described on the AbeBooks websites. If you are not satisfied with your purchase or if the order has not arrived yet, you are eligible for a refund within 30 days of the estimated delivery date. If you have any questions about an order, please us the “Ask Bookseller a Question” link to contact us and we will respond within 2 business days.

Conditions de livraison :

All orders ship from our warehouse, centrally located in Columbia, Missouri. Orders usually ship on the same or next business day (Monday – Friday).

Informations vendeur d�taill�es

Modes de paiement
accept�s par le vendeur