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 | sklad | R215 - skříň | 4200505673 | ||
|
Dostupné Měsíční |
Fakulta informatiky | sklad | R215 - skříň | 4200506199 | ||
|
Dlouhodobá do 2030-07-01 |
Fakulta informatiky | sklad | R215 | 4200506838 | ||
|
Dostupné Měsíční |
Fakulta informatiky | sklad | R215 | 4200506839 | ||
|
Dostupné Měsíční |
Fakulta informatiky | sklad | R215 - skříň | 4200506840 | ||
|
Dostupné Dlouhodobá |
Fakulta informatiky | sklad | R215 - skříň | 4200508121 | ||
|
Dostupné Dlouhodobá |
Fakulta informatiky | sklad | R215 - skříň | 4200510139 | ||
|
Dostupné Měsíční |
Fakulta informatiky | sklad | R215 - skříň | 4200510138 | ||
|
Dostupné Měsíční |
Fakulta informatiky | sklad | R215 | 4200510212 | ||
|
Dlouhodobá do 2023-09-20 |
Fakulta informatiky | sklad | R215 | 4200512573 | ||
|
Dostupné Měsíční |
Fakulta informatiky | sklad | R215 - skříň | 4200512982 | ||
|
Dostupné Dlouhodobá |
Fakulta informatiky | sklad | R215 - skříň | 4200513902 |