Interactive Theorem Proving and Program Development

Yves Bertot

29 ratings by Goodreads

Language: English

Published by Springer Vieweg, Springer Mai 2004, 2004

3540208542 / 9783540208549

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

  • Softcover
  • New
See all details

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.

5-star seller

AbeBooks seller since January 11, 2012

Softcover

Condition: New

US$ 148.04

US$ 25.75 shipping 
Ships from Germany to U.S.A.

Quantity: 2 available

Add to basket
Free 30-day returns

Item description from seller

This item is printed on demand - it takes 3-4 days longer - Neuware -Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software. 500 pp. Englisch.

Seller Inventory # 9783540208549

Title
Interactive Theorem Proving and Program Development
Author
Yves Bertot
Publisher
Springer Vieweg, Springer Mai 2004
Publication year
2004
Condition
Neu
Binding
Buch
Language
English
ISBN 10
3540208542
ISBN 13
9783540208549
Item weight
910 grams
Dimensions
241x160x33 mm
Series
Book 37 of 45: Texts in Theoretical Computer Science. An EATCS

BuchWeltWeit Ludwig Meier e.K.

Bergisch Gladbach, Germany

5-star seller

AbeBooks seller since January 11, 2012

Shipping rates from Germany to U.S.A.

Item5 to 15 business days5 to 15 business days
First itemUS$ 25.75US$ 25.75
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
  • Bank Wire Transfer
  • Check
  • Paypal

Seller's business information

BuchWeltWeit Ludwig Meier e.K.

Germany