General Books
School Books
Stationery
Menu
Sign In / Up

Sign in to your account or register new one to have full control over your orders, receive bonuses and more.

Sign In

New customer? Register

0 Cart

Subtotal:  0.00

Total Items In Cart:  

View Cart
Sign In / Up
General Books
School Books
Stationery
0 Cart

Subtotal:  0.00

Total Items In Cart:  

View Cart
General Book Search for "9780262545747"
Medium coverlarge cover

Certified Programming with Dependent Types

Author : Adam Chlipala
Paperback
Published : Tuesday 7 June 2022
ISBN : 9780262545747
Price : €55.27


You may also like ...

Product

Certified Programming with Dependent Ty...

by Adam Chlipala
Paperback
07 Jun 2022
Mobile and handheld device programming / Apps programming

€55.27

Extended stock – Dispatch 5-7 days
Product

Certified Programming with Dependent Ty...

by Adam Chlipala
Hardback
06 Dec 2013
E-book readers, tablets and other portable devices: consumer / user guides

€64.35

Extended stock – Dispatch 5-7 days
Product

DC Comics Black Adam Mug

Paperback
01 Mar 2024
Stationery and miscellaneous items

€11.69

Extended stock – Dispatch 5-7 days
Product

Mats by Adam Kimberly - 1,000 Piece Hap...

01 Jul 2023

€19.88

Extended stock – Dispatch 5-7 days

Reviews