Types for Proofs and Programs : International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers

Coppo, Mario, Berardi, Stefano

Language: English

Published by Springer Berlin / Heidelberg, 1996

3540617809 / 9783540617808

  • Softcover
  • Used
See all details

Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books

5-star seller

AbeBooks seller since August 3, 2006

View this seller's items
Softcover

Condition: Used - Good

US$ 9.81

 Free Shipping 
Ships within U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns
Save for laterCreate a Want for similar items

Item description from seller

Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Seller Inventory # GRP77572858

Report this item
Title
Types for Proofs and Programs : International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
Author
Coppo, Mario, Berardi, Stefano
Publisher
Springer Berlin / Heidelberg
Publication year
1996
Condition
Good
Binding
Soft cover
Language
English
ISBN 10
3540617809
ISBN 13
9783540617808
Edition
1996th Edition.
Item weight
2.139 pounds
Dimensions
N/A

Better World Books

Mishawaka, IN, U.S.A.

5-star seller

AbeBooks seller since August 3, 2006

Shipping rates within U.S.A.

Item4 to 8 business days3 to 5 business days
First itemUS$ 0.00US$ 13.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.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay

Store description

Better World Books (https://www.BetterWorldBooks.com) is a for-profit, socially conscious business and a global online bookseller that collects and sells new and used books online, matching each purchase with a book donation. Each sale generates funds for literacy and education initiatives in the U.S., the UK, and around the world. Since its launch in 2003, Better World Books has raised $33 million for libraries and literacy, donated over 32 million books, and reused or recycled more than 397 million books.

Seller's business information

Better World Books Marketplace, Inc.

55740 Currant Road
Mishawaka, IN U.S.A. 46545

Contact sellerView this seller's itemsView seller's storefront