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 - spring 2024
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
Spring 2024
Programme - spring 2024
Open
Chapter contains:
1
Study text
Previous
Next
IA072 Seminar on Verification
Study now
Programme - spring 2024
Operations
View all