Model checking /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Grumberg, Orna, 1952- (Autor), Peled, Doron A., 1962- (Autor), Clarke, E. M., 1945- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cambridge : MIT Press, c1999.
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 R215 - skříň 4200505673
Dostupné
Měsíční
Fakulta informatiky R215 - skříň 4200506199
Dlouhodobá
do 2027-06-30
Fakulta informatiky R215 4200506838
Dostupné
Měsíční
Fakulta informatiky R215 4200506839
Dostupné
Měsíční
Fakulta informatiky R215 - skříň 4200506840
Dostupné
Měsíční
Fakulta informatiky R215 - skříň 4200508120
Dostupné
Dlouhodobá
Fakulta informatiky R215 - skříň 4200508121
Dostupné
Dlouhodobá
Fakulta informatiky R215 - skříň 4200510139
Dostupné
Měsíční
Fakulta informatiky R215 - skříň 4200510138
Dostupné
Měsíční
Fakulta informatiky R215 4200510212
Dlouhodobá
do 2023-09-20
Fakulta informatiky R215 4200512573
Dostupné
Měsíční
Fakulta informatiky R215 - skříň 4200512982
Dostupné
Dlouhodobá
Fakulta informatiky R215 - skříň 4200513902