Proof in VDM : case studies /

Uloženo v:
Podrobná bibliografie
Další autoři: Bicarregui, J. C. (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: London : Springer, c1998.
Edice:Formal Approaches to Computing and Information technology
Témata:
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Měsíční
Fakulta informatiky F119 4200504501