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
This product has not been found in any sponsored store recently, please check similar products from our sponsors or review other stores we offer where you may find the product.
Similar products
| This product in Comparor | |
|---|---|
|
Category
This product is cataloged in our store in these categories
|
|
|
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
Full HD ultra short throw projector with 5000 lumens and 3LCD technology for vivid images, wireless connectivity and wall-mounted design.
Uninterruptible power supply, 2.2kVA, 2200W, Line-Interactive technology, with 10 AC outlets for reliable power protection.
