Unfoldings : a partial-order approach to model checking /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Esparza, Javier, 1964- (Autor), Heljanko, Keijo. (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2008.
Edice:Monographs in theoretical computer science
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 U249 4200514213
Dostupné
Měsíční
Fakulta informatiky U249 4200514214
Dlouhodobá
do 2022-06-30
Fakulta informatiky U249 4200514215
Dlouhodobá
do 2022-06-30
Fakulta informatiky U249 4200514216