Search
Search. Search suggestions are presented below the search box.
Search
Search courses and programmes
Svenska
Menu
Study
Subpages for Study
Master's studies
Subpages for Master's studies
Bachelor's studies
Subpages for Bachelor's studies
Exchange studies
Subpages for Exchange studies
Freestanding courses
PhD studies
Contact
Research
Subpages for Research
Strong research environments and research areas
Research projects
Theses and publications
Research ethics
Research infrastructure
PhD studies
Themes
Subpages for Themes
Collaboration and innovation
Subpages for Collaboration and innovation
Collaborate on research
Innovation – our approach
Networks, partners and collaborations
About the University
Subpages for About the University
Vision, goals and strategies
Structure and governance
Subpages for Structure and governance
Research funding
Academic traditions
History
Cultural heritage
Join us
The University area
Inaugural lectures 2023
Contact and organisation
Subpages for Contact and organisation
Contact the University
Subpages for Contact the University
Registrar
Pages for:
Students
Staff
Alumni
Go directly to:
Library
Press
News
Events
Support Uppsala University
Close menu
Uppsala University
Study
Course
Study
Subpages for Study
Master's studies
Subpages for Master's studies
Bachelor's studies
Subpages for Bachelor's studies
Exchange studies
Subpages for Exchange studies
Freestanding courses
PhD studies
Contact
Research
Subpages for Research
Strong research environments and research areas
Research projects
Theses and publications
Research ethics
Research infrastructure
PhD studies
Themes
Subpages for Themes
Collaboration and innovation
Subpages for Collaboration and innovation
Collaborate on research
Innovation – our approach
Networks, partners and collaborations
About the University
Subpages for About the University
Vision, goals and strategies
Structure and governance
Subpages for Structure and governance
Research funding
Academic traditions
History
Cultural heritage
Join us
The University area
Inaugural lectures 2023
Contact and organisation
Subpages for Contact and organisation
Contact the University
Subpages for Contact the University
Registrar
Automata and Logic in IT System Modelling
5 credits
Course, Bachelor's level, 1DL500
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
To top
