Knihu momentálně nemáme skladem

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

Autoři

Kolyang Dina Taiwe

Parametry

ISBN: 9783826540684
Nakladatelství: Shaker

Kategorie

Navrhnout úpravu

Varianta knihy

1999

Nákup knihy

Kniha aktuálně není skladem.