Povej prijatelju o tem izdelku:
Certified Programming with Dependent Types Adam Chlipala
Cena
€ 59,49
Naročeno iz oddaljenega skladišča
Predvidena dobava 11. - 19. jun
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
Certified Programming with Dependent Types
Adam Chlipala
| Medij | Knjige Book |
| Izdano | 7. junija 2022 |
| ISBN13 | 9780262545747 |
| Založniki | MIT Press |
| Strani | 436 |
| Dimenzije | 150 × 220 × 20 mm · 680 g |
| Jezik | Angleščina |
