This volume is an up-to-date, introductory level text on programming logic. It covers consistent and complementary definitions of programming languages, with emphasis on verification and axiomatic, operational, translational, and denotational semantics. The hands-on approach provides strong coverage of programming language constructs (each chapter introduces a new minilanguage). The book describes the use of free logic in handling errors and establishes connection with classical mathematics (to demonstrate soundness of proofs). There are many exercises.

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

We're primarily mail-order booksellers with more than 30 years' experience, including 10 years in an open shop. We have been selling books via the internet since 1999.

Visitez la page d�accueil du vendeur

Membre d'association

Les membres de ces associations s'engagent � maintenir des normes de qualit� sup�rieure. Ils garantissent l'authenticit� de tous les articles propos�s � la vente. Ils fournissent des descriptions expertes et d�taill�es, indiquent tous les d�fauts importants ainsi que les restaurations, fournissent des prix clairs et pr�cis et font preuve d��quit� et d�honn�tet� tout au long de la relation commerciale.

Informations commerciales relatives au vendeur

Nelson & Nelson, Booksellers
SC, U.S.A.

Conditions de vente :

TERMS: All items are subject to prior sale. Prices firm and include discounts.

Contact Leslie Nelson or Don Nelson, nelsonbooks@comcast.net, 803-275-5072 (phone/fax), P.O. Box 24 (mail address), 203 E. Wise St., Trenton, SC 29847.

South Carolina residents add 5% sales tax.

All books guaranteed to be as described; authorized returns accepted within 7 days of receipt if not as described.

SHIPPING: All items are packed with care and shipped promptly.
Additional postage may be required on multi-volu...

Pour plus d'information

Conditions de livraison :

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Modes de paiement
accept�s par le vendeur

Ajouter aux demandes de livres

Articles li�s � PROGRAMMING LOGICS: An Introduction to Verification...

PROGRAMMING LOGICS: An Introduction to Verification and Semantics.

Gumb, Raymond D.

Ancien(s) ou d'occasion - Couverture souple

Informations commerciales relatives au vendeur