Z Knihobotu sa stáva Bookbot!

Kniha momentálne nie je na sklade

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

Autori

Kolyang Dina Taiwe

Parametre

Počítače, IT, programovanie

Nákup knihy

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

Jazyk
Rok vydania: 1999

Akonáhle sa objaví, pošleme e-mail.

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť

Informácie o vydaníNavrhnúť zmenu