Knihu momentálně nemáme skladem

Interactive Theorem Proving

Autoři

Christian Urban

Parametry

Kategorie

Nákup knihy

Interactive Theorem Proving, Christian Urban

Jazyk
Rok vydání: 2015

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

Doručení

Platební metody

2021 2022 2023

Navrhnout úpravu