Modelování a verifikace - šk. rok 2022/23
Studijní literatura | ||
---|---|---|
|
Přednášky - slidy | ||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Příklady na cvičení | ||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Ostatní | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
|
Studijní literatura | ||
---|---|---|
|
Přednášky - slidy | ||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Příklady na cvičení | ||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Ostatní | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
|