Nederpelt, Rob (Autor)
Type Theory and Formal Proof
An Introduction
Beschreibung
Produktdetails
| ISBN/GTIN | 978-1-316-05634-9 |
|---|---|
| Kopierschutz | Digital Rights Management |