Price from
63.99 USD
63.99 USD
Verified Functional Programming in Agda: A Comprehensive Guide to Formal Verification
Stores where to buy this product
Sponsored This site contains affiliate links for which we may receive compensation. More information
| This product in Comparor | |
|---|---|
|
Category
This product is cataloged in our store in these categories
|
- Languages |
|
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 | ACM Books |
| ID | 63134197 |
| Dimensions / Weight | |
| Key Features | |
Related articles
This 95% Organic aloe vera gel by Aromatica, available in a 300 ml bottle, is perfect for soothing and calming sensitive skin. Made with 95% organic aloe vera, this product hydrates, heals, and protects the skin.
Experience cinematic clarity on a 27‑inch IPS panel that delivers true 4K HDR with Delta E under 2, ensuring color accuracy for professionals. USB‑C connectivity and an ergonomic stand let you adjust height, tilt, pivot, and swivel while eye‑care technology reduces glare.
Creed's Silver Mountain Water Eau De Parfum is a unisex fragrance with notes of bergamot, green tea, and musk. The 100ml spray bottle comes in a sleek design and delivers a refreshing scent that lasts throughout the day.
UNIVERSAL STRATEGIC (0602508007446) | Picture box, Abbey Road, UK vinyl box, 50th Anniversary Boxset, Stereo Album Mix
Maison Francis Kurkdjian's Baccarat Rouge 540 Extrait de Parfum is a luxurious fragrance with notes of saffron, jasmine and cedar. The 70ml bottle provides long-lasting wear and an intense aroma that captures the essence of opulence and indulgence.

