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 | |
Related articles
Harper Design (9780062905277)
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 (9780062936615) | Alice's Adventures
Harper Design (9780062905277)
Harper Design (9780062936615) | Alice's Adventures
The APC SMT1500RM2UC is a 1500VA uninterruptible power supply that provides surge protection, battery backup, and automatic voltage regulation. It has an LCD display for monitoring its status and includes SmartConnect remote management capability.