Interactive Theorem Proving and Program Development

Bertot, Yves

29 ratings by Goodreads

Language: English

Published by Springer, 2004

3540208542 / 9783540208549

Series: Book 37 of 45 - Texts in Theoretical Computer Science. An EATCS

  • Hardcover
  • Used
See all details

Seller: Mispah books, Redhill, Surrey, United KingdomMispah books

4-star seller

AbeBooks seller since April 15, 2021

View this seller's items
Hardcover

Condition: Used - As new

£ 197.00

£ 25.00 shipping 
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket

Item description from seller

LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS.

Seller Inventory # ERICA77335402085426

Title
Interactive Theorem Proving and Program Development
Author
Bertot, Yves
Publisher
Springer
Publication year
2004
Condition
Like New
Book Type
book
Binding
Hardcover
Language
English
ISBN 10
3540208542
ISBN 13
9783540208549
Series
Book 37 of 45: Texts in Theoretical Computer Science. An EATCS

Mispah books

Redhill, Surrey, United Kingdom

4-star seller

AbeBooks seller since April 15, 2021

Shipping rates from United Kingdom to U.S.A.

Item14 to 15 business days9 to 10 business days
First item£ 25.00£ 27.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

VisaMastercardAmerican ExpressApple PayGoogle Pay

Store description

We have collection of General books ,Science Books, Fiction & Academic Books. we ship from multiple location. Delhi, US and UK Return Address Mispah books flat4 , Centenary court, 30 Warwick Road Redhill , SURRE RH1 1FQ United Kingdom

Specialty

Fiction & Academic Books, Science, General

Seller's business information

Mispah books

United Kingdom