The spin model checker : primer and reference manual /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Holzmann, Gerald J., 1951- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Boston : Addison-Wesley, c2004
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 sklad R4 4200509432
Dostupné
Měsíční
Fakulta informatiky sklad R4 - skříň 4200509576