Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
cs-486:syllabus [2017/10/09 14:44]
egm [Students with Disabilities]
cs-486:syllabus [2018/09/04 16:04] (current)
egm [Lectures]
Line 36: Line 36:
 [http://​link.springer.com/​book/​10.1007/​978-1-84628-770-1/​page/​1 Principles of the SPIN Model Checker] is an electronic book that covers the SPIN model checker and the PROMELA input language [http://​link.springer.com/​book/​10.1007/​978-1-84628-770-1/​page/​1 Principles of the SPIN Model Checker] is an electronic book that covers the SPIN model checker and the PROMELA input language
 ==Lectures== ==Lectures==
-The class meets '''​TTh'''​ in '''​120 TMCB'''​ from '''​13:​35h-14:​50h'''​ for the Fall 2017.  Lectures are '''​one hour and fifteen minutes'''​ long.  Class attendance is highly encouraged. ​ Please see the detailed [[Schedule|schedule]] for reading topics, due dates, exams, etc.+The class meets '''​TTh'''​ in '''​134 TMCB'''​ from '''​13:​35h-14:​50h'''​ for the Fall 2018.  Lectures are '''​one hour and fifteen minutes'''​ long.  Class attendance is highly encouraged. ​ Please see the detailed [[Schedule|schedule]] for reading topics, due dates, exams, etc.
 ==Grade Composition== ==Grade Composition==
  
cs-486/syllabus.txt ยท Last modified: 2018/09/04 16:04 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0