Knihu momentálně nemáme skladem

Types for proofs and programs

Autoři

Thierry Coquand

Parametry

Kategorie

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

Série: Lecture notes in computer science

Nákup knihy

Types for proofs and programs, Thierry Coquand

Jazyk
Rok vydání: 2000

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

Doručení

Platební metody

Navrhnout úpravu