Basic Simple Type Theory - Cambridge Tracts in Theoretical Computer Science - Hindley, J. Roger (University of Wales, Swansea) - Grāmatas - Cambridge University Press - 9780521465182 - 1997. gada 31. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Hindley, J. Roger (University of Wales, Swansea)
Basic Simple Type Theory - Cambridge Tracts in Theoretical Computer Science

Cena
€ 160,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 5. - 13. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Hindley, J. Roger (University of Wales, Swansea) izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice.

200 pages, 10 b/w illus. 1 table

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 1997. gada 31. jūlijs
ISBN13 9780521465182
Izdevēji Cambridge University Press
Lapas 200
Izmēri 236 × 159 × 23 mm   ·   452 g
Valoda Angļu  
Sērijas redaktors Abramsky, S.
Sērijas redaktors Aczel, P. H.
Sērijas redaktors Bakker, J. W. De
Sērijas redaktors Gurevich, Y.
Sērijas redaktors Tucker, J. V.
Sērijas redaktors Van Rijsbergen, C. J.

Vairāk no Hindley, J. Roger (University of Wales, Swansea)

Rādīt visu

Vairāk no tā paša izdevēja

Skatīt visus Hindley, J. Roger (University of Wales, Swansea)