Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Price comparison
£ 62.38
free shipping
go to shop
£ 74.50
see shop
go to shop
You might also be interested in these computers.
18% off
WiFi enabled Complete set of Dell OptiPlex Dual Core 4GB RAM, 160 GB Hard Drive, Windows 10 Desktop PC Computer (Renewed)
Amazon Renewed
£ 100.65
free shipping
To the product (1 offer)
Window 11 Pro Optiplex Core i5 Series Desktop Small Form Desktop Tower PC (Intel Quad Core I5 4570, 8 Gb Ram, 120 SSD), (Renewed)
Inter Quad Core I5 4570 High performance 4th Generation processor
£ 82.16
free shipping
To the product (1 offer)
15% off
OptiPlex 7020 SFF Desktop PC Computer i7 4770 16GB RAM 512GB SSD Windows 11 Pro 300Mbps WIFI (Renewed)
Amazon Renewed
£ 125.80
free shipping
To the product (1 offer)
5% off
Business and Office Multimedia Computer | i7 6700 8 Thread, 4.0 GHz | RAM da 32GB | 1 TERA SSD | Wi-FI | DVD | USB3 | Windows 11 Professional 36 Months Warranty
Computers Parts
£ 270.00
free shipping
To the product (1 offer)
Dell OptiPlex 3050 5050 SFF i7 6th Gen 16GB RAM 512GB SSD Win 11 Pro PC | Intel Core i7 6th Gen, 4-cores up to 4.00GHz, 16GB RAM, 512GB SSD Storage, HDMI, WiFi, Windows 11 Pro OS, Renewed
Amazon Renewed
£ 161.99
free shipping
To the product (1 offer)
HP Stream 14" Laptop | Intel N4120 Processor | 4 GB RAM | 64 GB eMMC | Intel UHD Graphics | HD Display | Dual Speakers | Microsoft 365 Personal 12 month included | Win 11 | Jet Black | 14s-dq0000sa
HP
£ 197.52
free shipping
To the product (4 offers)
Complete Set of 22 in Monitor with Optiplex Quadcore Core i5 8GB Ram with 256 SSD GB Wifi Enabled Window 11 64 Bits Desktop PC (Renewed)
Amazon Renewed
£ 114.32
free shipping
To the product (3 offers)
Dell FAST Optiplex 7020/9020 SFF Desktop Computer PC - Intel Core i7 4th Gen (4 cores Upto 3.90GHz), 16GB RAM, 500GB SSD Storage, 300Mbps USB WiFi, W11 Pro + 23" Monitor (Renewed)
Amazon Renewed
£ 161.50
free shipping
To the product (1 offer)
23.8" FHD IPS All-in-One pc,Windows 11 Pro Desktop Computer,Intel i5 Processor up to 4.4 GHz, 16GB RAM,256GB SSD,Wi-Fi, USB,HDMI, QWERTY-Keyboard and Mouse
dahongyun
£ 369.88
free shipping
To the product (1 offer)
Dell Optiplex Intel Core i7-2600 Quad Core 16GB RAM 256GB SSD HDD WiFi Windows 11 Pro Desktop PC Computer (Renewed)
A Certified Refurbished product has been tested and certified to look and work like new. The product is backed by a minimum 1-year limited warranty, and may arrive in a generic brown or white box. The product ships with all relevant accessories.
£ 97.46
free shipping
To the product (1 offer)
Optiplex Intel i5 2400 16GB RAM 256GB NGFF SSD WiFi Windows 11 Desktop PC 22-inch VenoScorp V100 Computer Bundle (Renewed)
Amazon Renewed
£ 178.10
free shipping
To the product (1 offer)
GEEKOM A6 Mini PC, AMD Ryzen 7 6800H,1TB SSD, DDR5 16GB RAM (Up to 96GB) | 2026 Enterprise Purchase, High Stability, Dual USB4.0 & Dual HDMI Quad Display for Business/Video Editing/Design/School
GEEKOM
£ 499.00
free shipping
To the product (1 offer)