The Reader's Corner is such fun,it's too bad you have to buy our books on line. We have eight foot tall outside bookshelves across the entire front of the store. There is a money slot in the door for night sales, which go to support National Public Radio. Inside, which can be too crowded at times, are surprisingly good books, only 1% are ever listed on-line. We also sell records, music cd's, comic books, mags, computer software and games. Best of all is the found art decorating every spare spot. The motto on the front door: NO SHOOTING, NO SMOKING, NO MOONING THE MANAGEMENT.

Visit Seller's Storefront

Seller's business information

Reader's Corner, Inc.
Reader's Corner, Inc, 3201 Hillsborough Street, Raleigh, NC, 27607, U.S.A.

Terms of Sale:

Visa, Mastercard, Amex, Discover, Paypal or check. Shipping by USPS Priority Mail $6.50 first volume/$4 each add. vol.This is for octavo sized books only, oversize books will be more. USPS bookrate $3.50 first vol/$1.75 each add. vol. (I cover all Dust Jackets with Brodart Mylar protectors).(For EU: Reader's Corner, 3201 Hillsborough Street, Raleigh N.C., 27607, readcorner@aol.com)

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.

Payment Methods
accepted by seller

Check PayPal

Add to Wants

Items related to Formal Methods of Program Verification and Specification

Formal Methods of Program Verification and Specification

Berg, H. K. & Boebert, W. E. & Franta, W. R. & Moher, T. G.

Used - Hardcover

Seller's business information