Description: Interactive Theorem Proving and Program Development by Yves Bertot, G. Huet, Pierre Castéran, C. Paulin-Mohring Estimated delivery 3-12 business days Format Hardcover Condition Brand New Description 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. Publisher Description 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. Author Biography Yves Bertot is a Senior Researcher and Project Leader at the French National Institute for Research in Computer Science and Control (INRIA), Sophia Antipolis. Born in 1964, he received his Ph.D. from the University of Nice in 1991 and is co-author (with Pierre Cast ran) of CoqArt: The Calculus of Inductive Constructions (2004). Details ISBN 3540208542 ISBN-13 9783540208549 Title Interactive Theorem Proving and Program Development Author Yves Bertot, G. Huet, Pierre Castéran, C. Paulin-Mohring Format Hardcover Year 2004 Pages 472 Edition 2004th Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG GE_Item_ID:137769149; About Us Grand Eagle Retail is the ideal place for all your shopping needs! With fast shipping, low prices, friendly service and over 1,000,000 in stock items - you're bound to find what you want, at a price you'll love! Shipping & Delivery Times Shipping is FREE to any address in USA. Please view eBay estimated delivery times at the top of the listing. Deliveries are made by either USPS or Courier. We are unable to deliver faster than stated. International deliveries will take 1-6 weeks. NOTE: We are unable to offer combined shipping for multiple items purchased. This is because our items are shipped from different locations. Returns If you wish to return an item, please consult our Returns Policy as below: Please contact Customer Services and request "Return Authorisation" before you send your item back to us. Unauthorised returns will not be accepted. Returns must be postmarked within 4 business days of authorisation and must be in resellable condition. Returns are shipped at the customer's risk. We cannot take responsibility for items which are lost or damaged in transit. For purchases where a shipping charge was paid, there will be no refund of the original shipping charge. Additional Questions If you have any questions please feel free to Contact Us. Categories Baby Books Electronics Fashion Games Health & Beauty Home, Garden & Pets Movies Music Sports & Outdoors Toys
Price: 138.5 USD
Location: Fairfield, Ohio
End Time: 2024-12-20T03:21:22.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
ISBN-13: 9783540208549
Book Title: Interactive Theorem Proving and Program Development
Number of Pages: Xxv, 472 Pages
Publication Name: Interactive Theorem Proving and Program Development : Coq'Art: the Calculus of Inductive Constructions
Language: English
Publisher: Springer Berlin / Heidelberg
Subject: Systems Architecture / General, Software Development & Engineering / General, Intelligence (Ai) & Semantics, Calculus, Logic, Linguistics / General
Publication Year: 2004
Item Weight: 68.4 Oz
Type: Textbook
Item Length: 9.3 in
Author: Pierre Castéran, Yves Bertot
Subject Area: Mathematics, Computers, Language Arts & Disciplines
Series: Texts in Theoretical Computer Science. an Eatcs Ser.
Item Width: 6.1 in
Format: Hardcover
