Derivation and Computation (anglicky)

· Cambridge University Press · 2000 · firma · 412 stran

Derivation and Computation (anglicky)

Celou objednávku Vám odešleme v jednom balíku za 1 poštovné!
2 936 Kč
Produkt momentálně není dostupný.
Podívejte se na dostupné alternativy.
The is an introduction to simple type theory, exploring the relationship between proof and calculation. Each of its 52 sections ends with a set of exercises, some 200 in total. These are designed to help the reader get to grips with the subject. An appendix contains complete solutions to them. číst celé 
Derivation and Computation (anglicky)
Produkt momentálně není dostupný.
2 936 Kč
  • Mohlo by Vás také zaujmout
  • Další knihy autora
  • Další zboží nakladatele
  • Naposledy prohlédnuté
  • Podobní autoři

Podobní autoři

Návrh štítků k produktu

Navrhněte maximálně 5 klíčových slov (štítků) k tomuto produktu.

Za každý přidaný štítek musíte poté 5x ohodnotit štítky ostatních.

Nezapomeňte navrhnuté štítky uložit stisknutím tlačítka „Uložit přidané štítky“.

K této knize jste navrhli štítky:

    Hodnocení štítků

    Klikněte na štítek, který se více hodí k produktu.

    Nyní následuje 5x hodnocení štítků ostatních.


    Benefits icon Proč nakupovat u nás?

    • Největší skladové zásoby sortiment všeho druhu
    • Levná doprava doslova za pár kaček
    • Spokojení zákazníci známka kvality
    • Vyzvednutí kdekoliv místo vybíráte vy
    • Skvělá zákaznická podpora neváhejte zavolat
    Ověřené recenze jsou tak výslovně označené, ostatní jsou neověřené.
    Nejsou zde žádné recenze. Buďte první a napište svoji!
    Váš avatar
    Vybrat si
    Jméno
    Vaše recenze
    0

    Kniha návštěv

    Ověřené příspěvky jsou tak označené, ostatní jsou neověřené.

    Alkohol mohou nakupovat pouze osoby starší 18 let.

    Prosím potvrďte, že Vám již bylo 18 let.