Model checking /
Uloženo v:
Hlavní autoři: | , , |
---|---|
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 |