Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. N� de r�f. du vendeur 47817860-20

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre : Logic and Language Models for Computer ...

�diteur : Prentice Hall PTR

Date d'�dition : 2002

Reliure : Couverture souple

Etat : Good

Edition : 1st.

A propos de ce titre

Synopsis :

Book by Hamburger Henry Richards Dana

Quatri�me de couverture:

This book invites the reader to explore abstractions that are crucial to computer science. The authors bring a sense of excitement to logics, formal languages and automata—motivating topics by linking them to computing and to computational applications, sometime with whole chapters. They achieve exceptional clarity through a plethora of examples and figures, yet without-losing sight of, and indeed celebrating, the precision that is the hallmark of this subject matter.

Features of the book include:

application of logic to program verification
programming in the logic language, Prolog
discussion of "why" and "how" to prove things
relationships between English and programming languages
diagrams-first approach to automata
lex as a tool and an extension of formal language
pushdown automata as parsing strategies
Turing machines as models of computation

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

Better World Books is the world?s leading socially conscious online bookseller and has sold over 100 million books. Each sale generates funds for global literacy. We offer low prices, fast shipping, and have a 100% money back guarantee.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Better World Books Ltd
Better World Books, Third Floor, One London Square, Cross Lanes, Guildford, GU1 1UN, United Kingdom

Conditions de vente :

Better World Books (BWB) values your satisfaction and offers you returns within thirty (30) days after the estimated delivery date on most items. All returned items must be in the original condition; used items should include the SKU sticker located on the spine or back of the product.

If you have an incomplete, incorrect, or damaged shipment, please contact our Customer Care team via Abebooks contact seller options before proceeding with the return.Please keep in mind that because we deal mostl...

Pour plus d'information

Conditions de livraison :

Please allow 1-2 business days for order fulfillment.

Modes de paiement
accept�s par le vendeur