The only up-to-date, truly introductory level text on programming logic. Covers consistent and complementary definitions of programming languages, with emphasis on verification and axiomatic, operational, translational, and denotational semantics. Hands-on approach provides strong coverage of programming language constructs (each chapter introduces a new minilanguage). Describes use of free logic in handling errors and establishes connection with classical mathematics (to demonstrate soundness of proofs). Includes many exercises.

"About this title" may belong to another edition of this title.

Store Description

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.

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

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

Sale & Shipping Terms

Terms of Sale

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

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-volume sets and oversize or heavier items.

INTERNATIONAL ORDERS: We quote shipping on international orders.

Shipping Terms

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.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	3 to 10 business days
First item	US$ 6.00	US$ 15.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.