About this Hardcover
- ISBN-13
- 9783540208549
- Author
- Yves Bertot,Pierre Castéran
- Publisher
- Springer Science & Business Media
- Published
- 2004-05-14
- Pages
- 472
- Binding
- Hardcover
Verified US edition — ISBN 9783540208549
ISBN 9783540208549 identifies the Interactive Theorem Proving and Program Development Coq’Art: The Calculus of Inductive Constructions by Yves Bertot by Yves Bertot,Pierre Castéran, published by Springer Science & Business Media (2004-05-14). Every copy Book Shop Now ships against this ISBN is the genuine US-edition print run from the original publisher's authorized US distribution — no overseas reprints, no scanned facsimiles, no "international edition" rebranding. Verify this ISBN against your professor's syllabus before checkout.
About Springer Science & Business Media
Springer Publishing Company (NYC) publishes nursing, counseling, social work, and health-professions reference books — including the 101/301 Careers series, Springer Series on Behavioral Addictions, and clinical advanced-practice references. Distinct from Springer Nature (scientific journals), Springer Publishing's titles dominate MSN/DNP and CACREP-accredited counseling program reading lists. We source directly from Springer's US warehouse.
How Book Shop Now sources this title
Every book Book Shop Now ships is sourced directly from US publishers or their authorized US distributors — never from overseas grey-market resellers, marketplace commingled inventory, or scanned facsimile reprints. We do not sell "international edition" copies relabeled as US editions, and we do not accept loose-leaf substitutions for hardcover orders. Each shipment is inspected against the listed ISBN before dispatch, ships from US warehouses with 1-3 business day handling, and is covered by a 14-day return policy on books that arrive damaged or mismatched. Read our guide to spotting counterfeit textbooks →
