Knihu momentálně nemáme skladem

HOL-Z, an integrated formal support environment for Z in Isabelle/HOL

Autoři

Kolyang Dina Taiwe

Parametry

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

Nákup knihy

HOL-Z, an integrated formal support environment for Z in Isabelle/HOL, Kolyang Dina Taiwe

Jazyk
Rok vydání: 1999

Jakmile se objeví, pošleme e-mail.

Doručení

Platební metody

Nikdo zatím neohodnotil.Ohodnotit

Informace o vydáníNavrhnout úpravu