Skip to top bar
Skip to header
Skip to content
Skip to footer
CS
>
IA072 Seminar on Verification
Interactive Syllabus
IA072 Seminar on Verification
CONTENTS
IA072 Seminar on Verification
Study now
Programme - autumn 2023
View all
prof. RNDr. Jan Strejček, Ph.D.
IA072 Seminar on Verification
prof. RNDr. Jan Strejček, Ph.D.
IA072 Seminar on Verification
Info
Course
IA072 Seminar on Verification
Term
Autumn 2023
Programme - autumn 2023
Open
Chapter contains:
1
Study text
Previous
Next
IA072 Seminar on Verification
Study now
Programme - autumn 2023
Operations
View all