IA169 Model Checking
prof. RNDr. Jan Strejček, Ph.D.
IA169 Model Checking
Info
Term
Spring 2024

Teacher recommends to study from 19/2/2024 to 25/2/2024.
Teacher recommends to study from 26/2/2024 to 17/3/2024.
Teacher recommends to study from 18/3/2024 to 24/3/2024.
Teacher recommends to study from 25/3/2024 to 31/3/2024.
Teacher recommends to study from 1/4/2024 to 7/4/2024.
Teacher recommends to study from 15/4/2024 to 21/4/2024.
Teacher recommends to study from 22/4/2024 to 5/5/2024.
Teacher recommends to study from 6/5/2024 to 12/5/2024.

Previous