Knihobot
Kniha momentálne nie je na sklade

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

Autori

Parametre

ISBN
9783826540684
Vydavateľstvo
Shaker

Kategórie

Variant knihy

1999

Nákup knihy

Kniha momentálne nie je na sklade.