Knihu momentálně nemáme skladem

Types for proofs and programs

Autoři

Paul Callaghan

Parametry

Kategorie

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

Série: Lecture notes in computer science

Nákup knihy

Types for proofs and programs, Paul Callaghan

Jazyk
Rok vydání: 2002

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

Doručení

Platební metody

Navrhnout úpravu