Autorenfreundlich Bücher kaufen?!
Beschreibung
Calculus of Inductive Constructions, Container (type theory), Generalized Algebraic Data Type
Details
| Verlag | OmniScriptum |
| Ersterscheinung | 26. März 2026 |
| Maße | 22 cm x 15 cm x 0.5 cm |
| Gewicht | 119 Gramm |
| Format | Softcover |
| ISBN-13 | 9786133202405 |
| Seiten | 68 |