Price from
27.00 USD
27.00 USD
Interactive Theorem Proving and Program Development: Coq'Art - Calculus of Inductive Constructions (EATCS Series)
Stores where to buy this product
Sponsored This site contains affiliate links for which we may receive compensation. More information
Textbooks.com
| This product in Comparor | |
|---|---|
|
Category
This product is cataloged in our store in these categories
|
- Programming and software development books - Mathematics Books |
|
International
Find this product in one of our international stores
|
This product has not been found in other countries
|
| Colors
Predominant colors of the product |
|
| Identifiers | |
| Brand |  Springer is a German brand that produces high-quality bicycles. The company has a rich history, dating back to 1885, and is known for its innovative designs and quality products. Springer bikes are popular among cyclists of all levels, and the brand is known for its commitment to customer satisfaction. |
| ID | 41122110 |
| Dimensions / Weight | |
| Key Features | |
Download our Android app and save!
Related articles
Explore how primary care physicians and patients negotiate meaning, trust, and decision‑making through everyday dialogue in this insightful guide to medical communication dynamics.
Harper Design (9780062905277)
Harper Design (9780062936615) | Alice's Adventures
Experience dynamic core training with the Interactive Pro Balance Board Plankpad, featuring a responsive surface that shifts under your weight to enhance stability and muscle engagement while you perform planks, squats, or yoga poses in any room.
