Knihu momentálně nemáme skladem

Typed lambda calculi and applications

Autoři

Jean-Yves Girard

Parametry

Kategorie

Počítače, IT, programování

Série: Lecture notes in computer science

Nákup knihy

Typed lambda calculi and applications, Jean-Yves Girard

Jazyk
Rok vydání: 1999

Jakmile ji vyčmucháme, pošleme vám e-mail.

Doručení

Platební metody

2021 2022 2023

Navrhnout úpravu