Programming W/Higher-Order Log
A programming language based on a higher-order logic provides a declarative approach to capturing computations involving types, proofs and other syntactic structures.
| ID produktu: | 1047090788 |
| Tytuł: | Programming W/Higher-Order Log |
| Autor: | Miller Dale , Nadathur Gopalan |
| Wydawca: | Cambridge Univ Pr |
| Język wydania: | english |
| Ilość stron: | 320 |
| Data premiery: | 2012-06-01 |
| Forma: | książka |
| Okładka: | twarda |
| Wymiary [mm]: | 23 x 231 x 155 |
| Indeks: | 49309133 |