uu.se
Students
Staff
Alumni
uu.se
Search
Search. Search suggestions are presented below the search box.
Search
Search courses and programmes
Svenska
Menu
Study
Master’s studies
Bachelor’s studies
Exchange studies
Freestanding courses
PhD studies
Contact
Research
Collaboration and innovation
About the University
Contact and organisation
Pages for:
Students
Staff
Alumni
Go directly to:
Library
Press
News
Events
Support Uppsala University
Uppsala University
Study
Course
Study
Master’s studies
Bachelor’s studies
Exchange studies
Freestanding courses
PhD studies
Contact
Research
Collaboration and innovation
About the University
Contact and organisation
Automata and Logic in IT System Modelling
5 credits
Course, Bachelor's level, 1DL500
This course has been discontinued.
Syllabus
Syllabus valid from Autumn 2019
Syllabus valid from Autumn 2014
What is a syllabus?
Reading list
Reading list valid from Autumn 2019
Reading list valid from Spring 2014
